R1CS constraints for non-native field arithmetic
-
Updated
Aug 7, 2021 - Rust
#
cryptographic-proofs
Here are 10 public repositories matching this topic...
Verifiable AI agent governance — identity fingerprinting (I(θ)), cryptographic proof chains, 8-tier trust model. 28 packages, 23,000+ tests. Apache 2.0.
open-source enterprise nist typescript owasp identity-verification compliance autonomous-agents ai-safety ai-agents zero-trust ai-security trust-framework cryptographic-proofs ai-governance langchain crewai eu-ai-act trust-scoring agent-governance
-
Updated
Apr 10, 2026 - TypeScript
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
AI governance enforcement gateway — pre-action gating, trust scoring, cryptographic audit trails. Complements any agent framework. Patent pending. Apache-2.0.
python open-source enterprise nist owasp identity-verification compliance circuit-breaker autonomous-agents ai-safety policy-engine ai-agents zero-trust audit-trail fastapi cryptographic-proofs ai-governance eu-ai-act trust-scoring agent-governance
-
Updated
Mar 29, 2026 - 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 24, 2026 - TypeScript
The official SDK of AffixIO - Includes tests
security cryptography sdk circuits quantum-safe cryptography-algorithms gdpr token-validation zero-knowledge-proofs zkp zeroknowledge cryptographic-proofs zkp-verifier zkps consent-verification eligibility-check
-
Updated
Jan 8, 2026 - TypeScript
Detect structurally similar Python functions to find copy-paste code with different names, improving code quality through precise slop detection.
ruby kubernetes rust serverless bdd cucumber arithmetic-computation queuing knative knative-serving cryptographic-proofs ikukantai
-
Updated
Apr 11, 2026
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."