博客文章
Blogs
Proof Market
zkLLVM
- zkLLVM 采用其修改后的 clang 编译器（当前为 C++）支持高级语言的源代码，并生成电路的一些中间表示。此时，电路已准备好进行验证，但用户可能希望根据一些动态输入来验证电路。为了处理动态输入，zkLLVM 有一个称为分配器的附加组件，它生成一个分配表，其中包含所有输入和见证，这些输入和见证已完全预处理，可以与电路一起进行证明。
Crypto3 Cryptography Suite
- 在以太坊上验证Mina状态：
- Pickle 证明：证明Mina状态本身正确性的证明系统
- Placeholder证明：验证Pickle证明的有效性的证明系统，可以在以太坊上得到高效验证（5M Gas）
`DROP DATABASE*
- DA层协议