@hexensio team compared Halo2, Zirgen, and Plonky3 three zkVM DSLs in their blog, analyzing their differences in circuit architecture, data model, and constraint expression. @hexensio 团队在博客中比较了Halo2、Zirgen和Plonky3三种zkVM DSL,分析了它们在电路架构、数据模型和约束表达方面的差异。
Notes
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