Proposal: Proof of Audits - Continuous Security & Privacy-Preserving Trust Layer for Canton

CLOSEDPull Request
by Proofofaudit21-08-2026Declined
daml-toolingneeds-champion
View on GitHub ↗← All Proposals

Development Fund Proposal Submission

Proposal file: /proposals/2026-08-Proof-of-Audits-Continuous-Security-Canton.md

---

Summary

Proof of Audits runs contests where the report does not die - we keep proof alive via T4->T1 (Function->Contract->Cross-Contract->System) in sequence. For Canton we ship this as open-source: a Daml-aware CLI that lists every cross-package choice use (file, line, versions) + permissioned Trust Passport (public /1400, private vault) + Contract Shield that checks deployed DAR == reviewed DAR before you sign. All at once.

---

Checklist

  • [x] Proposal file added under /proposals/
  • [x] Milestones and funding amounts defined
  • [x] Acceptance criteria included
  • [x] Alignment with Canton priorities described

---

Notes for Reviewers

Hi team - I am MK, solo founder of Proof of Audits (https://proofofaudits.com). Like PR #642 TEE covalidator, this is open-source infra that adds security without adding readers - our TEE is the T4->T1 guarantee + permissioned vault (ZK attestation). Format follows PR #642 (AUTHORS/STATUS/CREATED/LABEL/CHAMPION TBD, daml-tooling). Live beta 30 Jul 2026. Happy to adapt to SIG feedback. Previous PRs #653-#656 were closed pending champion - this branch has clean header per #642.