Research & audits

Open research, published audits, threat models in the public.

Research

Zero-knowledge architecture for Bitcoin applications: design patterns

VERIFY

Threat model: the adversarial operator →

Client-side double-entry accounting: a TypeScript accounting library →

Encryption surface mapping for multi-user Bitcoin applications

VERIFY

Audits

External cryptographic audit: Cure53 — scope defined, quote pending

VERIFY

Peer cryptographic review: [crypto security engineer name, to be filled in once signed]

VERIFY

Apache 2.0 license verification: matches BDK, Cala, VLS, LDK

Public issue tracker for security disclosures →

Responsible disclosure

Security vulnerabilities: hello@bitcoin-zka.org. PGP key published at bitcoin-zka.org/pgp.txt. We acknowledge disclosures within 48 hours and publish post-mortems.

48-hour acknowledgement