hekate-program 0.35.0

AIR program and chiplet definition API for the Hekate ZK proving system: constraint DSL, typed column schema, virtual expansion, LogUp bus wiring.

Coverage
48.48%
240 out of 495 items documented0 out of 282 items with examples
Size
Source code size: 421.1 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 7.5 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 7s Average build duration of successful builds.
all releases: 17s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
oumuamua-labs/hekate
9 1 0
crates.io
Dependencies
Versions
Owners

hekate-program

AIR program and chiplet definition API for the Hekate ZK proving system.

Module	Description
`constraint`	Algebraic constraint DSL and arena-backed IR for AIR transitions
`schema`	Typed column layout declaration via macro
`expander`	Wide physical columns expanded to virtual bit columns at eval time
`chiplet`	Standalone AIR-table definition and composition
`permutation`	LogUp bus endpoint specification for cross-table wiring

AGPL-3.0-only. See LICENSE and NOTICE. Commercial licenses are available from Oumuamua Labs info@oumuamua.dev.