3 results found Sort:

microsoft
Spartan microsoft
134
755
mit
16
Spartan: High-speed zkSNARKs without trusted setup
nizk zksnarks rust-library cryptography-library verifiable-computing zero-knowledge-proofs
Created 2019-12-16
53 commits to master branch, last one 2 months ago
zkMIPS
zkm zkMIPS
61
124
mit
4
The universal zkvm empowering Ethereum as the global settlement layer
zkp mips zkvm verifiable-computing
Created 2023-10-07
280 commits to main branch, last one 3 days ago
Layr-Labs
eigensdk-rs Layr-Labs
28
84
other
4
EigenLayer Rust Developer Tooling
avs sdk rust ethereum restaking eigenlayer verifiable-computing
Created 2024-03-11
578 commits to dev branch, last one a day ago