2023-04-12
为什么说 zkRollup 的可行性起源于零知识证明的计算代理思想？
作者：Fox Tech CTO 林彦熹，Fox Tech 首席科学家 孟铉济Prover和Verifier之间的计算代理思想是零知识证明的核心内容之一，是调节证明者和验证者工作量于复杂度之间取舍（tr...
标签：prover
2023-02-10
Starkware承诺开源其魔杖Starknet Prover
证明者是 Starkware 用来汇总数十万笔交易并将其压缩成写在以太坊区块链上的微小加密证明的关键引擎。以太坊第 2 层扩展解决方案StarkWare宣布计划在 Apache 2.0 许可下开源其专...