R1CS constraints for non-native field arithmetic
-
Updated
Aug 7, 2021 - Rust
#
cryptographic-proofs
Here are 17 public repositories matching this topic...
XRPL history server with the Clio API and proofs you can check offline
-
Updated
Nov 10, 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
Nov 7, 2026 - TypeScript
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
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
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
Autonomous 7/24 Ed25519 agent & living isometric pixel observatory for Technocore (twg1 protocol). Verifiable useful work, atomic CAS /kv/ state, and real-time cyber-metropolis.
pixel-art isometric multi-agent ed25519 autonomous-agents zero-knowledge ai-agents did flop isometric-graphics multi-agent-system did-key cryptographic-proofs work-graph ai-agents-automation agent-infrastructure ed25519-signature technocore flop-labs technocore-chat
-
Updated
Aug 29, 2026 - Python
ai rest-api gateway ed25519 finite-state-machine multi-agent-systems autonomous-agents escrow end-to-end-encryption ai-agents zero-trust fastapi cryptographic-proofs base-blockchain agentic-ai base-sepolia ai-smart-contract-maker-software agent-to-agent agent-economy ethereum-layer2
-
Updated
Oct 10, 2026 - Python
ForceDream Ltd (UK Company No. 17057770, London) operates a paid, verifiable AI-agent marketplace it calls the ForceDream Intelligence OS: specialist agents for summarisation, structured-data extraction, code generation, security scanning, lead scoring, translation, classification, sentiment and forecasting, each priced per call in GBP pence, with…
mcp united-kingdom ai-agents a2a apis-json cryptographic-proofs agent-marketplace agent-native agent-commerce agent-payments ai-inference-routing
-
Updated
Oct 30, 2026
.NET library that implements the W3C Verifiable Credentials Data Model 2.0 (VCDM 2.0) — creating, issuing, holding, presenting, and verifying Verifiable Credentials (VCs) and Verifiable Presentations (VPs). A VC is a tamper-evident, cryptographically secured set of claims made by an issuer eg. a diploma or licence.
-
Updated
Nov 3, 2026 - C#
invinoveritas, published by Baby Blue Viper, is a verification layer for autonomous agents: a neutral, model-agnostic verdict before an irreversible action (POST /review), a schnorr-signed portable proof after (POST /prove), and a public, Nostr- and Bitcoin-anchored track record (GET /ledger) that anyone can recompute against the published key.
trading mcp ai-agents a2a apis-json cryptographic-proofs bitcoin-lightning agent-marketplace x402 agent-governance agent-verification
-
Updated
Oct 31, 2026
Verifiable proof layer for AI agent computations on Casper Network
golang smart-contracts verification merkle-tree kyc zero-knowledge ai-agents defi cryptographic-proofs casper-network
-
Updated
Oct 16, 2026 - Go
Infrastructure-agnostic, domain-extensible verifiable state engine for deterministic transitions, cryptographic commitments, replay, and integrity proofs.
rust distributed-systems cryptography state-management state-machine event-sourcing ed25519 state-transitions replay merkle-tree no-std data-integrity audit-trail append-only cryptographic-proofs deterministic-execution infrastructure-agnostic verifiable-state domain-extensibility
-
Updated
Nov 1, 2026 - Rust
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
Oct 13, 2026
Cryptographic Merkle tree constructor and inclusion proof generator/verifier with SHA-256 state leaves for immutable agent state attestation.
mcp sha256 zero-dependency merkle-tree zero-knowledge cryptographic-proofs agentic-ai model-context-protocol mcp-server blockchain-integrity state-attestation
-
Updated
Sep 28, 2026 - Python
Bankeiz — Reality-Grade Banking. A mobile banking reference and institutional conformance suite for proof-native Settlement, proof-backed Reserve, verifiable ownership, and programmable value. Powered by Receiz.
pwa fintech banking mobile-banking digital-identity digital-payments offline-payments cryptographic-proofs digital-banking conformance-testing programmable-money fractional-ownership financial-infrastructure receiz bankeiz reality-grade-banking proof-native-banking proof-native-value proof-backed-value verifiable-ownership
-
Updated
Nov 13, 2026 - TypeScript
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."