판 이력 — Symphony: Scalable SNARKs in the Random Oracle Model from Lattice-Based High-Arity Folding | AIChainDay