hekate-program 0.27.3

AIR program and chiplet definition API for the Hekate ZK proving system: constraint DSL, typed column schema, virtual expansion, LogUp bus wiring.
Documentation
1
2
3
4
5
6
hekate
Copyright 2026 Andrei Kochergin and Oumuamua Labs.

This product includes software developed by:
Oumuamua Labs <info@oumuamua.dev>
Andrei Kochergin <andrei@oumuamua.dev>