1 comment

[ 3.7 ms ] story [ 34.4 ms ] thread
A result proving that the capacity conjecture of Ben-Sasson, Carmon, Ishai, Kopparty and Saraf (J. ACM '23) is false. This conjecture is being used by quite a few zkVM projects, to reduce their proof size and verifier time.