...

11 2023 档案

Halo2简单示例
摘要：Halo2简介 [[Halo2]]是使用[[Rust]]语言开发，基于[[PLANK算法]]的，一款开源交互式([[STARKs]])，[[零知识证明(ZKP)]]的[[证明系统]]。 GitHub仓库地址：halo2 不同于普通的开发框架，Halo2中的功能开发称为电路(Circuit)开发，电路 阅读全文
posted @ 2023-11-18 19:16 韩志超 阅读(669) 评论(0) 推荐(0)
翻译-我从Halo2电路开发中学到的一些小技巧
摘要：角色 flowchart LR 证明者-->|输入/输出/证明|验证者 💁‍♂️证明者：提供 输入 / 输出 / 证明 👩‍💼 验证者：我不重新运行计算，但我确信输出计算正确 准备(开发)阶段 👨‍💻开发者：定义常量 👨‍💻开发者：发送密钥给 💁‍♂️证明者 及 👩‍💼验证者 验 阅读全文
posted @ 2023-11-14 10:43 韩志超 阅读(105) 评论(0) 推荐(0)