THE CHINWAGY BUZZ · FIRST VERIFIED WORD
Ethereum Foundation collaborates with Yukon and zkSecurity on better.codes
WHAT CHINWAGY KNOWS
The collaboration
is confirmed.
The Ethereum Foundation Formal Verification team launched better.codes, an open autoresearch challenge developed in collaboration with Yukon and zkSecurity to advance machine-checked security benchmarks for hash-based SNARKs.
- Current status
- Official collaboration
- Known availability
- The published source describes the collaboration; timing details remain under review.
- Place
- International, International
- Source checked
- September 18, 2026
FOLLOW THE STORY