3 results found Sort:

microsoft
Spartan microsoft
127
752
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 about a month ago
zkMIPS
zkm zkMIPS
61
123
mit
4
The universal zkvm empoering ethereum as the global settlement layer
zkp mips zkvm verifiable-computing
Created 2023-10-07
267 commits to main branch, last one a day ago
Layr-Labs
eigensdk-rs Layr-Labs
25
82
other
4
EigenLayer Rust Developer Tooling
avs sdk rust ethereum restaking eigenlayer verifiable-computing
Created 2024-03-11
547 commits to dev branch, last one 17 hours ago