NotesNotes要点

• Three DSLs: Halo2 (PLONKish matrix), Zirgen (STARK trace), Plonky3 (AIR direct constraints)
• Architecture: Matrix vs state transitions vs polynomial identities
• Data model: Typed columns vs register composition vs typeless columns
• Public interface: Instance columns vs keyword vs explicit binding
• Constraint method: Rotation gates vs cross-cycle references vs guard mechanisms
• Core trade-off: Abstraction vs control vs development efficiency

• 三大DSL：Halo2（PLONKish矩阵）、Zirgen（STARK踪迹）、Plonky3（AIR直接约束）
• 架构差异：矩阵vs状态转移vs多项式恒等式
• 数据模型：类型化列vs寄存器组合vs无类型列
• 公共接口：实例列vs关键字vs显式绑定
• 约束方式：旋转门vs跨周期引用vs守卫机制
• 核心权衡：抽象度vs控制力vs开发效率

• 3つのDSL: Halo2 (PLONKish matrix)、Zirgen (STARK trace)、Plonky3 (AIR direct constraints)
• アーキテクチャ: Matrix vs state transitions vs polynomial identities
• データモデル: Typed columns vs register composition vs typeless columns
• パブリックインターフェース: Instance columns vs keyword vs explicit binding
• 制約方法: Rotation gates vs cross-cycle references vs guard mechanisms
• コアなトレードオフ: Abstraction vs control vs development efficiency