3 results found Sort:

microsoft
Spartan microsoft
122
698
mit
16
Spartan: High-speed zkSNARKs without trusted setup
nizk zksnarks rust-library cryptography-library verifiable-computing zero-knowledge-proofs
Created 2019-12-16
50 commits to master branch, last one 2 months ago
zkMIPS
zkm zkMIPS
51
110
mit
4
The universal zkVM empowering Ethereum as the Global Settlement Layer
zkp mips zkvm verifiable-computing
Created 2023-10-07
235 commits to main branch, last one 3 days ago
Layr-Labs
eigensdk-rs Layr-Labs
13
69
other
5
EigenLayer Rust Developer Tooling
avs sdk rust ethereum restaking eigenlayer verifiable-computing
Created 2024-03-11
415 commits to main branch, last one a day ago