ZK

Tooling · Chain-agnostic

zkPDF · Enpara

Prove a fact in a signed bank PDF without sharing it.

PAdES-LTV / CAdES-T signature verification for bank statements, parsed and proven inside a zkVM: a case study in proving "balance > X" from an Enpara PDF while the document never leaves your device.

Next project

Mina Mastermind →