판 이력 — SubLogarithmic Linear Time SNARKs from Improved Sum-Check | AIChainDay