Zk-ACTUS: Towards Verifiable Financial Contracts

on YouTube ↗15m

" summary

Proposes ZK-ACTUS: apply zero‑knowledge proofs to the ACTUS algorithmic contract standard to make financial contracts verifiable on-chain; prototypes a Firehose microfinance system with Actors Foundation and Vinda for low‑income borrowers (women, farmers) using PAM and ANN loan profiles, term sets and event sequences; notes existing Java, Rust, Python, TypeScript, Haskell and Solidity implementations and problems with floating‑point, fuzzy spec and a hacky Java reference; builds dynamic ZK proofsets (signatures, hashes, ZK proofs) posted to blockchains and a gateway with proving clusters coordinating DA nodes and smart contracts across chains.

AI-written summary · about

" chapters (7)

1. 0:00ZK-ACTUS and Firehose intro
2. 3:26ACTUS standard
3. 6:58ACTUS implementation challenges
4. 7:21ZK-proofs for contracts
5. 10:55Tokenization and exposure tracking
6. 11:58Gateway architecture
7. 13:23Regulatory and technical challenges

" related talks

• 26mApplications of Zero Knowledge Proofs in the Banking IndustryEduardo Moraes · 2nd ZKProof Workshop 2019
• 41mThe Future Is Trustless: How ZkVMS And ZkTLS Transform BugAnto Joseph · Nullcon Goa 2025
• 03m1st Standards Workshop1st ZKProof Standards Workshop 2018
• 30mPractical Zero Knowledge ProofsRemi Gai, Kautuk Kundan, Danilo Kim · Pragma India 2023
• 25mSuccinct Proofs in EthereumBarry Whitehat · 2nd ZKProof Workshop 2019
• 30mCryptocurrencies and Smart ContractsElaine Shi · Securing Computation (Simons Institute, June 2015)
• 51mPanel: Zero Knowledge in the EnterpriseMike Hearn, Yael Tauman Kalai, Carlos Kuchkovsky, Jonathan Levi · 2nd ZKProof Workshop 2019
• 01h 26mPanel Discussion: The Challenges and Best Practices of Deploying Zero-Knowledge ProofsIzaak Meckler, Daira Hopwood, Zac Williamson, Pratyush Mishra, Jordi Baylina · 4th ZKProof Workshop (Home Edition)