Angel Jose Toranzo Portela

From Institutional Trust to Verifiable Properties

Financial settlement systems rely heavily on institutional trust: intermediaries maintain ledgers, certifycompliance, and prevent unauthorized creation or movement of value. Zero-knowledge (ZK) techniques make itpossible to replace part of that trust with verifiable properties. T...

Provable Compliance without Full Ledger Disclosure

Supervisors need reliable assurance over balances, issuance, and transaction integrity. Institutions need toprotect sensitive financial data. Traditional audit practice often resolves this tension by granting broad accessto ledgers. That approach is effective, but costly in priva...

Comparative Implementation of a Zero-Knowledge Settlement Layer across Five Proof Systems: Design Findings and Measurements

We present a comparative implementation of the same financial settlement circuit in five zero-knowledge proofsystems—Groth16, Halo2/IPA, STARK/FRI, PLONK/KZG, and Nova/folding—and report the design consequencesthat appear only when the comparison is performed on a complete statef...

From Institutional Trust to Verifiable Properties

Financial settlement systems rely heavily on institutional trust: intermediaries maintain ledgers, certifycompliance, and prevent unauthorized creation or movement of value. Zero-knowledge (ZK) techniques make itpossible to replace part of that trust with verifiable properties. T...