Quang Dao
@QuangVDao
PhD student @SCSatCMU & research engineer @LayerZero_Labs. Working on Jolt & formal verification of zkVMs
가입 September 2016
2.1K 팔로잉 중 1.1K 팬
Our newest sum-check optimizations are out!
We propose a *better* domain for sum-check: the infinity hypercube.
Evaluations over this domain give *precisely* the monomial coefficients, and lead to a ~10% prover speedup over 128+ bits prime fields
🧵/ n
더 보기
