1 comment

[ 3.2 ms ] story [ 12.8 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.