Formally verified binary tower fields (F(2^k) to F(2^256)), constant-time by default, with hardware carry-less multiplication. For Sumcheck, GKR-based provers, and Binius protocols.
hekate-math
Copyright 2026 Andrei Kochergin and Oumuamua Labs.
This product includes software developed by:
Oumuamua Labs <info@oumuamua.dev>
Andrei Kochergin <andrei@oumuamua.dev>