ZK-Verified Computation Gateway - Trustless verification of off-chain computation using Rust + Zero Knowledge
Substrate pallet for on-chain proof verification
ProofCore is a browser-native, 100% offline-first, hybrid mathematical proof verification engine. It combines rigorous symbolic math with semantic understanding to reliably verify mathematical proofs, offering zero external dependencies and production-ready quality
Human fallback infrastructure for agents on X Layer.
Independent mathematical audit of TurboQuant (online vector quantization). Reviews lower-bound proofs, bit-budget claims, and theorem validity. Verdict: core idea is sound; strongest theoretical claims are overstated.
Verify a Circom proof in a Casper Smart Contract
Pure-Go UltraHonk proof verifier for BN254. Verify Noir circuit proofs natively in Go without Barretenberg.
Add a description, image, and links to the proof-verification topic page so that developers can more easily learn about it.
To associate your repository with the proof-verification topic, visit your repo's landing page and select "manage topics."