PANews 8월 21일 소식, 이더리움 재단이 오픈 리서치 챌린지 “Better Codes”를 출범한다고 발표했다. 이는 이더리움의 포스트 양자 암호학 발전을 추진하고, 해시 기반 SNARKs의 수학적 최전선을 집중 공략하기 위한 것이다. 참가자는 AI 에이전트, 자동화 테스트 도구, 프롬프트를 사용해 수학 최적화 방안을 제출하고 Lean 4 증명을 통해 검증받을 수 있다. 우승자는 이더리움 재단의 100만 달러 규모 Proximity Prize 상금 풀을 나눠 갖는다. 이 챌린지는 ZK Security와 Eigen Labs가 Yukon Research와 공동으로 구축했다.