聚焦智能合约安全审计和形式化验证。
Coordination, Good and Bad
2020年，市场似乎如旧，然而区块链技术却在悄然进行一场颠覆性的升级。
从零开始学习 zk-SNARK（五）——Pinocchio 协议
从零开始学习 zk-SNARK（四）——多项式的约束
even@安比实验室：前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式的算术性质，多项式插值等。
探索零知识证明系列（五）
多项式的非交互式零知识证明
多项式的性质与证明
希望通过本系列文章，所有开发者都能亲自上手实践，在短时间内迅速入门 libsnark，一步步了解 libsnark 的基本概念
一篇文章让我彻底暴露了。什么能拯救，零知识证明？！
加载更多
English