Papers

Compiled from Typst on every site assembly.

• dregg (main paper) — PDF, 788K
• direct-logic-arithmetization — PDF, 800K
• arklib-kzg-vacuity — PDF, 120K

← dregg