Skip to content
Achronyme Docs
Search
Ctrl
K
Cancel
GitHub
Select theme
Dark
Light
Auto
Select language
English
Español
Getting Started
Introduction
Installation
Hello World
Language Reference
Types & Values
Control Flow
Functions & Closures
Arrays & Collections
Circuit Programming
Overview
Declarations
Builtins
Operators & Costs
Functions in Circuits
Control Flow in Circuits
Zero-Knowledge Concepts
Field Elements
R1CS
Plonkish
Proof Generation
CLI Reference
Commands
Circuit Options
Architecture
Pipeline Overview
Crate Map
IR & Optimization
Backends
Witness Generation
Extension Guide
Tutorials
Merkle Membership Proof
Inline Proofs
Poseidon Hashing
GitHub
Select theme
Dark
Light
Auto
Select language
English
Español
IR & Optimization
Content coming soon.