LUNA

ETHNAR:图解零知识证明(ZKP)_CCASH

编者按:本文来自区块链大本营,作者:OscarW,编译:火火酱,Odaily星球日报经授权转载。零知识证明是一种基于概率的验证方法,它包括“类似事实的陈述”和“关于个人知识的陈述”.

SOLVALUE:技术分享:简析智能合约和形式化验证_VAL

本文主要介绍了智能合约和形式化验证。什么是智能合约?一个智能合约是一套以数字形式定义的承诺,包括合约参与方可以在上面执行这些承诺的协议。在区块链技术领域就是一段运行在区块链上的有多方参与的代码.

[0:0ms0-3:792ms