Verify Cairo contracts on Starkscan in 1 minute.
-
Updated
Jun 2, 2024 - TypeScript
#
zk-stark
Here are 16 public repositories matching this topic...
zero knowledge consensus for pos chains
research prototype proof-of-concept consensus stark consensus-protocol zk-stark blockchain-research foundational-research ciphercurve random-numbers-consensus zero-knowlege-proofs consensu-research
-
Updated
Nov 3, 2025 - Rust
Rescue Prime Hash Function
-
Updated
Dec 28, 2022 - C++
Python ZK-STARK implementation for learning and research
-
Updated
Dec 26, 2025 - Python
zero knowledge consensus for pos chains
research prototype proof-of-concept consensus stark consensus-protocol zero-knowledge-proofs zk-stark blockchain-research foundational-research consensus-research ciphercurve random-numbers-consensus
-
Updated
Apr 13, 2025 - Rust
Browser-based zk-STARK demo — AIR constraints, FRI polynomial commitments, and end-to-end Fibonacci proof. No trusted setup. Post-quantum secure. The protocol behind StarkNet, StarkEx, and Risc Zero.
cryptography typescript zero-knowledge post-quantum fri vite crypto-lab browser-crypto proof-systems starknet starkex zk-proof zk-stark risc-zero air-constraints
-
Updated
Apr 12, 2026 - TypeScript
Anonymous Attributes Verification System Based on Zero-Knowledge Proofs and Distributed Blockchain Networks.
-
Updated
Dec 9, 2025 - Python
🌐 Explore zk-vrf-consensus, a cutting-edge research project for verifiable random functions in decentralized networks.
research prototype proof-of-concept consensus stark consensus-protocol zk-stark blockchain-research foundational-research consensus-research ciphercurve random-numbers-consensus zero-knowlege-proofs consensu-research
-
Updated
Nov 21, 2025
🧩 Explore a pure Python implementation of zero-knowledge STARKs for educational purposes, designed to enhance understanding of cryptographic concepts.
-
Updated
Apr 19, 2026 - Python
Theoretical foundations for Verifiable Random Peer Sampling
-
Updated
Apr 20, 2023
Standalone CLI verifier for Minerva ZK-STARK proofs. Verify any proof without an account.
-
Updated
Mar 20, 2026 - Rust
Minerva SDK — TypeScript/JavaScript client for the Minerva ZK-STARK proof engine. Generate, verify, and share zero-knowledge proofs.
-
Updated
Mar 20, 2026 - TypeScript
Improve this page
Add a description, image, and links to the zk-stark topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the zk-stark topic, visit your repo's landing page and select "manage topics."