Audit-by-Construction: A Self-Executing Smart Contract Architecture on Permissioned Distributed Ledgers for the Verifiable Settlement of Civil Engineering Works under Peruvian Public-Procurement Law
This paper proposes a self-executing smart contract architecture on permissioned distributed ledgers that automates and cryptographically verifies the settlement of Peruvian civil engineering public works, reducing certification cycles from months to minutes while maintaining full compliance with existing national procurement laws without requiring legislative reform.