double-spend-prevention

Here are 4 public repositories matching this topic...

typednotes / liaison

Delegation broker in Lean 4: HMAC-chained warrants with attenuating caveats, ledger-backed credit holds, one confined egress call per request, and a complete audit log.

Updated Oct 2, 2026
Lean

typednotes / ledger

Star

Usage & credit ledger service in Lean 4: exact integer money, a proven balance fold, a typed hold lifecycle, and Postgres-enforced reserves and idempotent grants.

dependent-types postgresql concurrency theorem-proving ledger lean billing formal-verification credits metering idempotency append-only correct-by-construction lean4 linen usage-based-billing double-spend-prevention usage-ledger typednotes

Updated Oct 2, 2026
Lean

Privacy-preserving token issuance and verification in Rust: unlinkable single-use credentials (VOPRF + blind RSA) with nullifier-based double-spend prevention and sybil-resistant admission gates (PoW, WebAuthn, vouching).

rust cryptography privacy hsm pkcs11 anti-abuse privacy-preserving nullifier sybil-resistance webauthn anonymous-credentials elliptic-curve-cryptography ellip voprf axum passkeys token-issuance blind-rsa double-spend-prevention

Updated Oct 12, 2026
HTML

runcycles / cycles-ap2-python

Star

Cycles runtime authority guard for Google AP2 (Agent Payments Protocol) — reserve, commit, release around AP2 payment mandates to prevent mandate reuse, double-spend, and concurrent checkout attempts.

Updated Jul 27, 2026
Python

Add this topic to your repo

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

Learn more

Navigation Menu