Pinned Repositories
2022Q4-hackathon
2022Q4-hackathon
account-abstraction
Airdrop
cool code to get airdrop
any-poseidon-halo2
An awesome repository includes poseidon implement on different field.
aptos-core
A layer 1 for everyone!
EVM
EVM code
plonky2-circom
Plonky3
A toolkit for polynomial IOPs (PIOPs)
rust-bitcoin-script-stack
Helper lib to write complex bitcoin scripts
zkevm-circuits
cyl19970726's Repositories
cyl19970726/Plonky3
A toolkit for polynomial IOPs (PIOPs)
cyl19970726/rust-bitcoin-script-stack
Helper lib to write complex bitcoin scripts
cyl19970726/Airdrop
cool code to get airdrop
cyl19970726/any-poseidon-halo2
An awesome repository includes poseidon implement on different field.
cyl19970726/asesome-rust
wrtie some awesome rust code
cyl19970726/awesome-folding
A curated list of zero-knowledge folding schemes
cyl19970726/BitVM
BitVM: Smarter Bitcoin Contracts
cyl19970726/bitvm.github.io
BitVM website
cyl19970726/catch_info
cyl19970726/commitment-pockets
cyl19970726/cyl19970726
My personal repository
cyl19970726/eigen-zkvm
A zkVM basing on layered proof system
cyl19970726/folding-everything
cyl19970726/halo2
cyl19970726/halo2curves
Implement msmAccel trait for sppark-msm and icicle-msm
cyl19970726/icicle
a GPU Library for Zero-Knowledge Acceleration
cyl19970726/plonkish
Awesome code about folding scheme
cyl19970726/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
cyl19970726/rust-bitcoin
Rust Bitcoin library
cyl19970726/rust-bitcoin-m31-or-babybear
Arithmetic over the M31 or BabyBear field in Bitcoin Script
cyl19970726/rust-bitcoin-script
Inline Bitcoin scripts in Rust
cyl19970726/rust-bitcoin-scriptexec
Bitcoin Script interpreter implemented in Rust
cyl19970726/rust-esplora-client
Bitcoin Esplora API client library. Supports plaintext, TLS and Onion servers. Blocking or async.
cyl19970726/rust-learning
write more and more rust code
cyl19970726/sp1-verifier
cyl19970726/tinygo
Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
cyl19970726/wasm-test
Link wasm module
cyl19970726/wasmer
🚀 The leading WebAssembly Runtime supporting WASIX, WASI and Emscripten
cyl19970726/winterfell
A STARK prover and verifier for arbitrary computations
cyl19970726/zkLLVM
Zero-Knowledge Proof Systems Circuit Compiler