Zero-Knowledge Proof systems: A Deep Dive from Foundations to Frontiers
-
Updated
Aug 1, 2025 - Rust
#
proof-systems
Here are 23 public repositories matching this topic...
Pravda is a tool for teaching formal logic.
logic first-order-logic hilbert propositional-logic natural-deduction educational-project educational-software sequent-calculus proof-systems
-
Updated
Oct 26, 2025 - TypeScript
Rust protocol lab for SNARK building blocks: Sumcheck, Zerocheck, PermCheck, IPA polynomial commitments, fuzzing, release evidence, and visualizer.
rust cryptography visualizer fuzzing ipa pcs zero-knowledge zk-snarks snark polynomial-commitments research-prototype zkproof sumcheck proof-systems protocol-labs interactive-proofs zerocheck permutation-check multilinear-polynomials
-
Updated
Sep 1, 2026 - 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
A list of tools for teaching logic
education list logic model-checking logic-programming sat-solver modal-logic multi-agent-systems educational-project proof-systems
-
Updated
Aug 31, 2025
In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
logic first-order-logic formal-methods formal-verification z formal-specification z-notations equational-reasoning z-notation proof-systems equational-logic
-
Updated
Aug 9, 2022 - TeX
Proof-of-existence infrastructure for timestamping local file hashes with minimal disclosure.
cryptography typescript nextjs verification solidity base agplv3 proof-of-existence tailwindcss privacy-first local-first vercel self-custody proof-systems wagmi rainbowkit viem base-sepolia calm-software
-
Updated
Aug 24, 2026 - TypeScript
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
Interactive unofficial companion for learning Proofs, Arguments, and Zero-Knowledge: chapter maps, glossary, toy labs, quizzes, and progress tracking.
education cryptography finite-fields interactive-learning fiat-shamir zero-knowledge zkp snarks sumcheck proof-systems
-
Updated
Jun 11, 2026 - HTML
Personal study notes and write-ups on zero-knowledge proof protocols
-
Updated
Jul 9, 2026 - TeX
Professional research profile and public ecosystem index for calm, privacy-first open-source infrastructure.
open-source ecosystem privacy-first local-first proof-systems research-profile calm-software behavioral-infrastructure research-identity
-
Updated
Jul 1, 2026
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
Post-quantum RV64I zkVM from standard hashes (SHA-3 + BLAKE3) — the complete Construction-3 protocol in Rust: Virtual Spartan, BinaryTwist/Shout, BinaryRouter, MosaicPCS, ring switching.
rust cryptography blockchain risc-v zero-knowledge post-quantum snark rv64 proof-systems zkvm sum-check binary-fields
-
Updated
Oct 13, 2026 - Rust
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
Official website for Parano1d, a proof-native Layer 1 ordered by proof of work.
cryptography blockchain static-site cryptocurrency wallet post-quantum-cryptography proof-of-work zero-knowledge-proofs statechain proof-systems parano1d
-
Updated
Oct 14, 2026 - JavaScript
Basis-aware multilinear polynomial algorithms and the Sumcheck protocol in Rust
-
Updated
Aug 27, 2026 - Rust
Clear pain-to-proof map linking Razorglint buyer painpoints to systems, usage paths, tiers, and claim boundaries.
-
Updated
May 13, 2026
KSTARK Hybrid — Rust kernel-basis global-linear proofs composed with binary-field nonlinear reductions and FRI, by Algorizk Labs.
rust cryptography zero-knowledge fri polynomial-commitments proof-systems binius binary-fields algorizk
-
Updated
Sep 7, 2026 - TeX
Cross-layer security analysis for zero-knowledge proof integrations and verifier-to-application trust boundaries.
-
Updated
Aug 8, 2026 - Rust
a collection of rulesets for qbar and other automated proof frameworks
-
Updated
Jun 30, 2021
Add this topic to your repo
To associate your repository with the proof-systems topic, visit your repo's landing page and select "manage topics."