会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
...
临渊
博客园
首页
新随笔
联系
订阅
管理
2023年12月21日
Halo2简单使用-斐波那契数列
摘要: 电路设计 Halo2是基于PLONK算法的零知识证明框架,使用Rust语言。 在Halo2中要证明你掌握斐波那契数列,例如Fib(10)=55。则需要将你的每一步计算过程(秘密的)罗列出来。并由程序(电路)来进行验证,生成证明。 在PLONK算法里,我们使用表格来进行计算跟踪,例如: a b c 1
阅读全文
posted @ 2023-12-21 18:12 韩志超
阅读(136)
评论(0)
推荐(0)
编辑
公告