#

proof-verification

Here are 3 public repositories matching this topic...

flamehaven01 / ProofCore-AI-Benchmark

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

react devops benchmark privacy typescript research offline-first software-quality d3js symbolic-math browser-native fastapi pyodide zustand mathematical-proof semantic-understanding proof-verification

Updated Nov 22, 2025
TypeScript

axialabsresearch / frostgate-pallet-verifier

Substrate pallet for on-chain proof verification

verifier proof-system substrate-pallet proof-verification

Updated Jun 12, 2025
Rust

jonas089 / casper-groth16-contract

Verify a Circom proof in a Casper Smart Contract

blockchain zero-knowledge snark circom groth16 zk-proofs proof-verification rust-groth16 rust-verifier groth16-verifier

Updated Oct 2, 2024
Rust

Improve this page

Add a description, image, and links to the proof-verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof-verification topic, visit your repo's landing page and select "manage topics."