There is going to be a new class of software enabled by ZK--verifiable source software.

Verifiable source software is closed source software with publicly available code commitments and publicly verifiable claims (e.g. audits or proof of code properties).

Verifiable source software adds key properties of open source software to closed source software.

Why open source?
- Auditability
- Verifiability & reproducibility
- Facilitates fast innovation

Why closed source?
- Ability to maintain competitive advantage
- Additional security benefits from "obscurity"

Verifiable source software:
- Audits can be conducted on verifiable source software
- Binaries can be cryptographically tied to committed, audited source code and compiler (this is especially important for TEEs)
- Properties of software can be proven (formally leveraging programming language research, or heuristically via language models).

(Illustration co-created with ChatGPT o3.)