원문 링크 : https://blog.ethereum.org/en/2026/08/20/better-codes-challenge
해시 기반 SNARK의 안전성 상한을 공개 리더보드에서 겨루는 better.codes 공개되었습니다.
제출물은 Lean 4 정형 증명으로 검증된다고 합니다!
예전에 진행되었던 Lighter challenge 와 같은 곳인 Yukon 에서 챌린지가 진행됩니다.
챌린지 진행하는 곳 : https://better.codes/
사실 챌린지 자체가 시작한지는 좀 되었는데, 나온지 하루만에 수학적으로 가능한 대부분의 천장에 밀접한 것으로 보여집니다. 여기서부터는 이제 새로운 논문을 써서 챌린지를 해야하는 것 같은데...
관심있으신 분들은 한번 봐보세요.