...

2023年12月21日
Halo2简单使用-斐波那契数列
摘要： 电路设计 Halo2是基于PLONK算法的零知识证明框架，使用Rust语言。 在Halo2中要证明你掌握斐波那契数列，例如Fib(10)=55。则需要将你的每一步计算过程(秘密的)罗列出来。并由程序(电路)来进行验证，生成证明。 在PLONK算法里，我们使用表格来进行计算跟踪，例如： a b c 1 阅读全文
posted @ 2023-12-21 18:12 韩志超 阅读(132) 评论(0) 推荐(0) 编辑