一段代码生成零知识证明可以分为代码变成多项式阶段,多项式生成承诺两个阶段。
第一阶段,简单来说就是把代码转换成 a * b = c 三元算式的列表(就是写电路),然后套数据公式把三元算式的列表转换成多项式,然后用R1CS&QAP的方式对多项式进行约束;
第二阶段,先是通过f(x) = h(x)t
以简洁易懂的方式介绍了 zkRollup 的实现原理和技术细节.
在我们做去中心化应用开发时,其中有两个头疼的问题,一是想要获取去中心化的一些数据,如代币价格等,还有一个就是安全的创建随机数,这篇文章带大家了解一下这两块的实际应用。
为EVMvalidiums设计的退出游戏:Plasma回归
solidity太卷了,最近在研究cairo,可是cairo升级太快了,一直苦于没有资料,于是乎苦苦哀求Starknet中文大使和鸦老师,他们在百忙之中整理了一些资料。现在发出来,希望大家共勉,一起builder
本文使用create2创建合约、预测合约地址
如何创建 零知识证明并在Solidity 合约中验证
Polygon zkEVM的Roll-up交易形式和zkProver
零知识证明正变得越来越流行,但可能很难找到入门资料。在花了一些时间研究这个主题之后,我整理了我学到的东西,希望它能帮助大家入门零知识证明编程。
最近BTC社区推出了首个NFT项目Ordinals,该项目非常的火爆,也体现出BTC社区强大的开发能力。鉴于其官方文档对基本原理的描述没有那么直观,并且实际操作Mint也非常复杂,因此本文将说明其核心原理和在BTC regtest本地网络上如何操作(主网操作方法移步:全节点和借助机器人不需要全节点)