Embedded domain specific language (eDSL) for writing circuits with the [`halo2`](https://github.com/axiom-crypto/halo2) API. It simplifies circuit programming to declaring constraints over a single advice and selector column and provides built-in circuit tuning and support for multi-threaded witness generation.
[email protected] is safe to use (health: 51/100)
Get this data programmatically — free, no authentication.
curl https://depscope.dev/api/check/cargo/halo2-baseFirst published · 2023-12-04T15:26:40.757912Z
Last updated · 2025-08-26T06:05:54.629139Z