Four ways to strengthen the public layer.

The program categories are ready for final criteria and opening dates.

Program information will define eligibility, review criteria, expected deliverables, budget ranges, and reporting requirements. None of those details are open for application yet.

01 Research

Questions that move the field.

Work that makes verifiable systems more deterministic, portable, or inspectable.

02 Implementation

Code others can build on.

Alternative runtimes, language support, compatibility layers, and tools.

03 Security

Reduce systemic risk.

Audits, fuzzing, formal verification, and supply-chain improvements.

04 Community

Make the system teachable.

Documentation, education, and local community work.

IndexStatus / scope

ResearchProvenance and reproducibility

ImplementationSDKs and interoperability

SecurityAudits and fuzzing

CommunityDocumentation and education