Polyjuice scripts for godwoken
Sync DAG executor for CPU-heavy pipelines: bounded parallelism + partial evaluation.
Behavior contracts for AI agents — tested in your PR, enforced at runtime. Core engine: parser, writer, content-addressed store, replay, and nine-axis behavioral differ.
High-performance, persistent, hash-agnostic Merkle tree library.
Defines the interface of the Sovereign SDK module system
Utilities for mavryk-related cryptographic operations.
Utilities for tezos-related cryptographic operations.
Optimism batch submitter
Open-source shim that links the closed-source Hekate prover cdylib over a stable C ABI.
Utilities for counting risc0 cycles consumed by Sovereign SDK functions
A Sovereign SDK module for storing a rollup's historical state
A performance evaluation tool for MONEROCHAN programs.
Easily merge two hashes and retain all values belonging to duplicate keys.
Hash method to aggregate hash values by key, e.g. to calculate subtotals