Siyao Guo

Latest

• Rational Sumchecks
• Rational arguments: single round delegation with sublinear verification