Pinned Repositories
snarkOS
A Decentralized Operating System for ZK Applications
ARCs
Aleo Request for Comments (ARCs)
bullshark
gnark
jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
ProofsArgsAndZK
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
snarkOS
A Decentralized Operating System for ZK Applications
snarkVM
A Virtual Machine for Zero-Knowledge Executions
sp1
A performant, 100% open-source, contributor-friendly zkVM.
randomsleep's Repositories
randomsleep/ARCs
Aleo Request for Comments (ARCs)
randomsleep/bullshark
randomsleep/gnark
randomsleep/jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
randomsleep/ProofsArgsAndZK
randomsleep/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
randomsleep/snarkOS
A Decentralized Operating System for ZK Applications
randomsleep/snarkVM
A Virtual Machine for Zero-Knowledge Executions
randomsleep/sp1
A performant, 100% open-source, contributor-friendly zkVM.