Programming language for zk-SNARK
Programming language for sk-SNARK
Programming language for (recursive) zk-snark:
- SnarkyJS developed by MINA and Protocol Lab based on TypeScripts
- Lurk developed by FileCoin based on Lisp/ Rust: github
- Leo developed by ....
- XjsSnark
- Python for ZkProof
- Lecture notes for zk proof: basic definitions, simple zkp, zk science, zk web asambly, course zk
- Fiat-Shamir with python: web
- Stack based and register based model: The EVM uses a stack-based architecture which, although simpler than a register-based structure, increases the difficulty of proving computation. This is why prominent zero-knowledge VMs, such as ZkSync's zkEVM and StarkWare's StarkNet use a register-based model.
Keep track:
- zkp science: includes set of zk techs
- STARK: intro by Vitalik
- zkVM

Nhận xét
Đăng nhận xét