Pinned Repositories
jolt
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
revm
Rust implementation of the Ethereum Virtual Machine.
rust-verkle
blogs
Things about Rust, Blockchain
jolt_verifier_canister
motoko-sha224
motoko_token
Follow the ERC20
foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Nova
Nova: High-speed recursive arguments from folding schemes
sp1
The fastest, most feature-complete zkVM for developers.
flyq's Repositories
flyq/jolt_verifier_canister
flyq/zkdemo
flyq/valida_local_verifier
flyq/cuda_msm
flyq/jolt_expand
flyq/analysis_pp
flyq/awesome-internet-computer
A curated list of awesome projects and resources relating to the Internet Computer Protocol
flyq/Ethereal
flyq/go-libzkp
flyq/halo2-experiments
For practice to using halo2
flyq/hello-risc0
flyq/ic_ai
flyq/icicle
A hardware acceleration library for compute intensive cryptography :ice_cube:
flyq/jolt
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto. ⚡ 💌
flyq/kzg-airdrop-bn254
flyq/nexus-fib-demo
flyq/nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
flyq/Plonky3
A toolkit for polynomial IOPs (PIOPs)
flyq/proof_size
flyq/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
flyq/rust-verkle
flyq/sage
flyq/sp1
A performant, 100% open-source, contributor-friendly zkVM.
flyq/sp1_fib
flyq/sppark
Zero-knowledge template library
flyq/valida
A STARK-based VM focused on code reuse, performance, and modularity
flyq/verkle_tree_example
flyq/zk-insights
flyq/zkevm-circuits
flyq/zkhack-trusted-setup