halo2-base
v0.5.1 GrowingEmbedded 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.
Quick Verdict
- !Pre-1.0: API may have breaking changes
- !Heavy dependency tree (27 direct deps)
- โPermissive license (MIT)
Security
Deep Insights
23.8K downloads in the last 30 days (793/day). Volume is roughly flat compared to the previous period.
The primary maintainer publishes 82 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
Despite being 2+ years old, halo2-base hasn't reached 1.0 yet. Expect potential API changes between versions.
27 direct dependencies. Consider the impact on compile times and supply chain complexity.
Notable dependents include snark-verifier, snark-verifier-sdk, halo2-ecc, axiom-eth, zkevm-hashes. When high-quality crates choose halo2-base, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on halo2-base
Version Adoption
Release Timeline
Feature Flags
default =["halo2-axiom", "display", "test-utils"]