3 results found Sort:

microsoft
Spartan microsoft
118
689
mit
17
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 about a month ago
zkMIPS
zkm zkMIPS
50
101
mit
4
The universal zkVM empowering Ethereum as the Global Settlement Layer
zkp mips zkvm verifiable-computing
Created 2023-10-07
231 commits to main branch, last one 5 days ago
Layr-Labs
eigensdk-rs Layr-Labs
13
65
other
4
EigenLayer Rust Developer Tooling
avs sdk rust ethereum restaking eigenlayer verifiable-computing
Created 2024-03-11
400 commits to main branch, last one 2 days ago