EF, 포스트퀀텀 오토리서치 챌린지 출범

해시 기반 SNARK의 안전성 상한을 공개 리더보드에서 겨루는 better.codes 공개되었습니다.

제출물은 Lean 4 정형 증명으로 검증된다고 합니다!

예전에 진행되었던 Lighter challenge 와 같은 곳인 Yukon 에서 챌린지가 진행됩니다.

사실 챌린지 자체가 시작한지는 좀 되었는데, 나온지 하루만에 수학적으로 가능한 대부분의 천장에 밀접한 것으로 보여집니다. 여기서부터는 이제 새로운 논문을 써서 챌린지를 해야하는 것 같은데...

관심있으신 분들은 한번 봐보세요.