zk-Harness
由于zkSNARKs很难进行性能评估比较,因为影响的因素太多,例如椭圆曲线, 证明系统, 算术化过程,安全级。
zk-Harness 主要为目前zkSNARKs库提供统一的测试框架。
zk-Harness 提供基于zkSNARK 栈测试,包括有限域计算,椭圆曲线操作,和电路测试。
![](https://img.haomeiwen.com/i7973505/18472a715abf6b7f.png)
目前已经可-Harness 主要包括 gnark
, circom
两种证明框架。
zk-Harness 后端基于zka.lc 设计。
zk-Harness: https://github.com/zkCollective/zk-Harness
其它
zk-benchmark: https://github.com/celer-network/zk-benchmark
测试代码:
Nova SHA256 测试:https://hackmd.io/u3qM9s_YR1emHZSg3jteQA?view
https://github.com/srinathsetty/Nova
Nova 测试: https://hackmd.io/0gVClQ9IQiSXHYAK0Up9hg?view=
https://github.com/privacy-scaling-explorations/nova-bench
参考
https://github.com/zkCollective/zk-Harness
https://blog.celer.network/2023/08/04/the-pantheon-of-zero-knowledge-proof-development-frameworks/
网友评论