sumcheck
My friend thinks that some commitments are optional and you can substitute them with a bit of extra sumcheck. He’s built this proof system “RONK”. Let’s prove him wrong.
N.B. The proof is more than 4096 bytes, so nc will truncate it, use another method for sending it
Writeups
Official
No official writeup linked.
Community
No community writeups yet. Solved it? Share how.
Log in to add a community writeup.