R1CS constraints for non-native field arithmetic
-
Updated
Aug 7, 2021 - Rust
#
cryptographic-proofs
Here are 6 public repositories matching this topic...
A deterministic proof-generation framework that connects cultural computation, governance logic, and verifiable cryptographic proofs.
docker-compose yubikey ed25519 merkle-tree fastapi cryptographic-proofs ai-governance deterministic-ai helix-ttd trust-by-design triad-orchestrator verifiable-ledger daily-rollups sovereign-computation proof-capsules
-
Updated
Oct 26, 2025 - Python
Cryptographic timestamp proof for provisional patent submission – Sanctum CIRCE (2025)
-
Updated
May 10, 2025
Secure Quantum Zero-Knowledge Proofs: Implementation, Analysis, and Optimization
golang security cryptography research academic quantum-computing golang-library information-security quantum-information post-quantum-cryptography quantum-algorithms zero-knowledge quantum-cryptography zkp zero-knowledge-proof cryptographic-proofs quantum-protocols cryptographic-security dilithium-blake3 soundness-analysis
-
Updated
May 27, 2025 - Python
HYPERION: Production-ready zero-knowledge virtual machine with spectral analysis and FRI protocols
-
Updated
Dec 21, 2025 - Rust
Enterprise-Grade Decentralized AI Infrastructure on AIDP. Seamlessly route, verify, and scale AI inference via a global network of decentralized GPUs.
api-gateway solana depin cryptographic-proofs aidp decentralized-ai solana-hackathon ai-compute gpu-infrastructure
-
Updated
Jan 2, 2026 - TypeScript
Improve this page
Add a description, image, and links to the cryptographic-proofs topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cryptographic-proofs topic, visit your repo's landing page and select "manage topics."