Projects in Awesome Lists by zksecurity
A curated list of projects in awesome lists by zksecurity .
https://github.com/zksecurity/noname
Noname: a programming language to write zkapps
circuit kimchi zero-knowledge zkapps
Last synced: 14 Oct 2025
https://github.com/zksecurity/wasmati
Write low-level WebAssembly, from JavaScript
Last synced: 13 Oct 2025
https://github.com/zksecurity/stone-cli
stone-cli is a CLI for proving and verifying Cairo programs.
Last synced: 14 Oct 2025
https://github.com/zksecurity/halo2-course
A course on Halo2 in collaboration with Zircuit
Last synced: 14 Oct 2025
https://github.com/zksecurity/pumice
An API compatible port of the Stone prover.
Last synced: 14 Oct 2025
https://github.com/zksecurity/stark-evm-adapter
Adapt your STARK stone proofs for verifications on Ethereum
annotations evm stark stone-prover
Last synced: 14 Oct 2025
https://github.com/zksecurity/mina-attestations
Private Attestations for Mina wallets
Last synced: 14 Oct 2025
https://github.com/zksecurity/rfcs
Cryptography RFCs related to Zero-Knowledge Proofs
Last synced: 14 Oct 2025
https://github.com/zksecurity/zprize-ecdsa-varuna
specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification
Last synced: 14 Oct 2025
https://github.com/zksecurity/timing-notebook
Tutorial on timing side-channels as a Python notebook
Last synced: 14 Oct 2025
https://github.com/zksecurity/zkvm-benchmarks
Comprehensive benchmarking and performance tracking for leading zkVMs
Last synced: 14 Oct 2025
https://github.com/zksecurity/zkbugs-website
Website for the zkbugs project (https://github.com/zksecurity/zkbugs)
Last synced: 14 Oct 2025
https://github.com/zksecurity/flatn
Python package for the flatter lattice reduction library
Last synced: 20 Jan 2026
https://github.com/zksecurity/vibenote
Markdown notes, backed with Git. Fully vibe-coded.
Last synced: 14 Oct 2025