Xor0v0
Student of Beijing University Of Posts and Telecommunications
Beijing University Of Posts and Telecommunications北京昌平区北京邮电大学沙河校区
Pinned Repositories
zk-insights
awesome-zero-knowledge-proofs-security
cairo-book
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
circom-ex
did_contract
ingopedia
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
Pairing-for-Chinese-Beginners
适合**宝宝体质的 Pairing 教程 with SageMath
ZK-Puzzle-Writeups
A writeup collection of zk-related puzzles
Xor0v0's Repositories
Xor0v0/awesome-zero-knowledge-proofs-security
Xor0v0/ZK-Puzzle-Writeups
A writeup collection of zk-related puzzles
Xor0v0/Pairing-for-Chinese-Beginners
适合**宝宝体质的 Pairing 教程 with SageMath
Xor0v0/rcli
Rust CLI code
Xor0v0/cairo-book
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
Xor0v0/circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Xor0v0/circom-ex
Xor0v0/did_contract
Xor0v0/ingopedia
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
Xor0v0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Xor0v0/concurrency
Xor0v0/halo2
The Halo2 zero-knowledge proving system
Xor0v0/noname
Noname: a programming language to write zkapps
Xor0v0/Spartan
Spartan: High-speed zkSNARKs without trusted setup
Xor0v0/stark101-rs
A rust implementation of STARK101.
Xor0v0/WTF-Cairo
学习Starknet Cairo智能合约。 Learn to write smart contracts on Starknet. Based on Cairo 2.2.
Xor0v0/WTF-zk
零知识证明入门教程。
Xor0v0/Xor0v0
Config files for my GitHub profile.
Xor0v0/Xor0v0.github.io
Xor0v0/zk-security-reviews
Collection of security reviews of ZK Protocols
Xor0v0/zkevm-circuits
Xor0v0/zkp-co-learning.github.io