Quang Dao
@QuangVDao
PhD student @SCSatCMU.
Working toward zk too cheap to meter & formally verified by default
๊ฐ์
September 2016
2.2K ํ๋ก์ ์ค 1.2K ํฌ
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
๋ ๋ณด๊ธฐ
