halo2-base 0.5.4

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.
Documentation

halo2-base

There is very little structured metadata to build this page from currently. You should check the main library docs, readme, or Cargo.toml in case the author documented the features in them.

This version has 11 feature flags, 3 of them enabled by default.

default

display (default)

This feature flag does not enable additional features.

test-utils (default)

ark-std (default)

asm

cuda

dev-graph

halo2_proofs_axiom_gpu

jemallocator

mimalloc

plotters

profile