-
14:41
(UTC +08:00)
Highlights
- Pro
-
-
-
ZK-Puzzle-Writeups Public
A writeup collection of zk-related puzzles
-
-
-
-
-
-
-
mina-zkapp-bootcamp Public
Forked from openbuildxyz/mina-zkapp-bootcampMina Protocol 携手 OpenBuild 推出为零知识证明开发者设计的 Bootcamp,帮助开发者可以从零开始学习在 Mina Protocol 构建 ZK 驱动的应用(zkApp)。
TypeScript UpdatedDec 1, 2024 -
zk-security-reviews Public
Forked from nullity00/zk-security-reviewsCollection of security reviews of ZK Protocols
UpdatedOct 19, 2024 -
-
-
noname Public
Forked from zksecurity/nonameNoname: a programming language to write zkapps
Rust UpdatedSep 2, 2024 -
halo2 Public
Forked from zcash/halo2The Halo2 zero-knowledge proving system
Rust Other UpdatedAug 20, 2024 -
-
-
WTF-zk Public
Forked from WTFAcademy/WTF-zk零知识证明入门教程。
-
-
risc0 Public
Forked from risc0/risc0RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
C++ Apache License 2.0 UpdatedJun 15, 2024 -
WTF-Cairo Public
Forked from WTFAcademy/WTF-Cairo学习Starknet Cairo智能合约。 Learn to write smart contracts on Starknet. Based on Cairo 2.2.
Cairo MIT License UpdatedMay 23, 2024 -
-
ingopedia Public
Forked from ingonyama-zk/ingopediaA curated list of ZK/FHE resources and links. 👇 Click below for the website version.
MIT License UpdatedMay 13, 2024 -
-
Spartan Public
Forked from microsoft/SpartanSpartan: High-speed zkSNARKs without trusted setup
Rust MIT License UpdatedApr 11, 2024 -
cairo-book Public
Forked from cairo-book/cairo-bookThe Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
JavaScript MIT License UpdatedApr 2, 2024 -
-
circom-compat Public
Forked from arkworks-rs/circom-compatArkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Rust Apache License 2.0 UpdatedNov 15, 2023