Crate stellar_zk_ultrahonk 

Noir + UltraHonk backend for stellar-zk.

Orchestrates nargo for circuit compilation and execution, and Barretenberg’s bb tool for verification key generation and UltraHonk proving. No trusted setup required (universal SRS).

Proof size is ~14KB (~440 field elements). On-chain verification costs ~35M CPU instructions.

Prerequisites: nargo, bb (Barretenberg)

Structs

UltraHonkBackend

Noir + UltraHonk proving system backend using nargo and Barretenberg.