Pinned Repositories
Aero
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
air-script
A domain-specific language for writing AIR constraints for STARKs
bytecheck
Memory validation framework for Rust
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
zkos
Cross-zk-rollup aggregation
starkoracles's Repositories
starkoracles/zkos
Cross-zk-rollup aggregation
starkoracles/Aero
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
starkoracles/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
starkoracles/air-script
A domain-specific language for writing AIR constraints for STARKs
starkoracles/bytecheck
Memory validation framework for Rust
starkoracles/eth-proof-of-consensus
starkoracles/miden-crypto
Cryptographic primitives used in Polygon Miden rollup
starkoracles/miden-vm
STARK-based virtual machine
starkoracles/rend
Endian-aware primitives for Rust
starkoracles/risc0_profiling_tool
starkoracles/rkyv
Zero-copy deserialization framework for Rust
starkoracles/starkvm-compiler
compiler tooling for Stark-based zkVMs
starkoracles/ts-library-boilerplate-basic
Typescript Minimal Starter Boilerplate - Webpack 5 🚀, Babel 7, UMD, Unit Testing
starkoracles/winterfell
A STARK prover and verifier for arbitrary computations