zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
-
Updated
Jun 8, 2024 - Go
#
gkr
Here are 17 public repositories matching this topic...
A collection of ZKPs (Zero Knowledge Proofs) and cryptographic research implementations in Rust.
rust circuits rust-lang shamir-secret-sharing zero-knowledge gkr kzg snark arithmetic-circuit zkp polynomial-interpolation kzg-commitment kzg-proofs fiat-shamir-protocol multilinear-kzg
-
Updated
Mar 25, 2025 - Rust
Executable soundness analysis for Parano1d production proof parameters, with theorem-backed bounds and reproducible industry-metric comparisons.
rust cryptography reproducible-research security-analysis gkr fri zero-knowledge-proofs soundness cryptographic-proofs proof-systems binary-fields interactive-oracle-proofs basefold parano1d
-
Updated
Oct 13, 2026 - TypeScript
ZK is a Rust-based repo that aims to focus on learning and implementing zero-knowledge proofs.
rust polynomials rust-lang fft fiat-shamir shamir-secret-sharing zero-knowledge gkr zkproof sumcheck
-
Updated
Apr 14, 2025 - Rust
FROST-GKR: Frobenius Reduction Over Shifted Tables for batched Poseidon2b relations over binary tower fields.
rust cryptography reproducible-research fiat-shamir gkr verifiable-computation zero-knowledge-proofs polynomial-commitments sumcheck proof-systems arithmetization poseidon2 binary-fields multilinear-polynomials parano1d binary-tower-fields
-
Updated
Aug 11, 2026 - Rust
This is where I document all my zk-research implementations
-
Updated
Aug 13, 2026 - Rust
TetraKlein is a unified post-quantum, zero-knowledge, multidomain verification architecture integrating PQC identity, XR physics proofs, digital-twin convergence, and hypercube-ledger synchronization. This repository publishes the full research corpus, AIR tables, and VM specifications for academic review and long-term validation. Early R&D
science research ipv6 simulation ethereum mathematics whitepaper post-quantum-cryptography stark research-paper zero-knowledge zero-trust gkr digital-twin snark extended-reality zkproof starknet zkvm
-
Updated
Dec 31, 2025
Research from Parano1d Lab: proof-native systems, cryptographic protocols, verifiable-state architectures, and reproducible engineering results.
cryptography reproducible-research post-quantum-cryptography gkr verifiable-computation zero-knowledge-proofs polynomial-commitments sumcheck proof-systems poseidon2 blockchain-research cryptographic-research binary-fields parano1d
-
Updated
Oct 12, 2026 - HTML
Technical documentation for Parano1d: architecture, protocol, proof stack, mining, networking, wallet, RPC, CLI, and operations.
documentation cryptography typescript nextjs blockchain post-quantum-cryptography libp2p proof-of-work gkr utxo technical-documentation zero-knowledge-proofs statechain proof-systems poseidon2 recursive-proofs parano1d
-
Updated
Oct 13, 2026 - TypeScript
Documenting my learnings on zero knowledge proofs.
rust circuits secret-sharing ffts zk zero-knowledge gkr polynomial-interpolation fiat-shamir-protocol
-
Updated
Jan 11, 2026 - Rust
Implementation of zero knowledge protocols and other related cryptographic primitives, using rust.
-
Updated
Apr 10, 2025 - Rust
Interactive, pedagogical treatment of the sum-check and GKR protocols, published as a rendered book at tmfreiberg.github.io/sumcheck-gkr-notes. Covers multilinear extensions, arithmetic circuits, wiring predicates, and soundness, with executable examples and step-by-step prover/verifier transcripts.
cryptography jupyter educational gkr verifiable-computation zero-knowledge-proofs interactive-proofs sum-check goldwasser-kalai-rothblum arithmeic-circuits
-
Updated
Oct 13, 2026 - Python
Speeding up Keccak on-chain in zero-knowledge using GKR
-
Updated
Jul 5, 2024 - Jupyter Notebook
📘 Explore TetraKlein, a unified architecture for computation, cryptography, and XR, providing key specifications and integration insights for researchers and developers.
science research ipv6 simulation ethereum mathematics whitepaper post-quantum-cryptography stark research-paper zero-knowledge zero-trust gkr digital-twin snark extended-reality starknet zkvm
-
Updated
Oct 14, 2026
Rust prover for sparse-Merkle state transitions, with GKR and sumcheck mechanized in Isabelle/HOL
rust cryptography arxiv merkle-tree formal-verification gkr sparse-merkle-tree verifiable-computation sumcheck
-
Updated
Oct 16, 2026 - Rust
Add this topic to your repo
To associate your repository with the gkr topic, visit your repo's landing page and select "manage topics."