Zero-Knowledge Proofs

STARK proofs, ZK infrastructure, plookup, AIR constraints, and proof optimization.

8 articles

Five Proofs, One Primitive: What We Just Unlocked
h33.ai/blog/substrate-five-proofs-unlocked/
Security Logs Are Notes. Cryptographic Proofs Are Evidence.
h33.ai/blog/security-logs-are-notes/
Signed commitments are not zero-knowledge proofs (and
h33.ai/blog/signed-commitments-vs-zk/
The Future of Medical Audits: Verifiable Proof
h33.ai/blog/future-medical-audits-verifiable-proof/
Tokenization Isn't the Revolution. Proof Is.
h33.ai/blog/tokenization-not-revolution-proof-based-finance/
Traditional Wires Move Data. We Move Proof.
h33.ai/blog/traditional-wires-move-data-we-move-proof/
Why Cyber Insurance Will Move to Cryptographic Proof
h33.ai/blog/cyber-insurance-cryptographic-proof/
Zero-Knowledge Proofs Over a 74-Byte Substrate Tag
h33.ai/blog/substrate-zk-proof/
← All articles