2 results found Sort:

microsoft
Spartan microsoft
103
642
mit
16
Spartan: High-speed zkSNARKs without trusted setup
nizk zksnarks rust-library cryptography-library verifiable-computing zero-knowledge-proofs
Created 2019-12-16
47 commits to master branch, last one 2 months ago
zkMIPS
zkm zkMIPS
43
82
mit
4
The universal zkVM empowering Ethereum as the Global Settlement Layer
zkp mips zkvm verifiable-computing
Created 2023-10-07
205 commits to main branch, last one 14 days ago