Make arm package dependency-minimum (issue #204)#206

Open

AHartNtkn wants to merge 10 commits into

mainfrom

anthony/arm-dep-minimum

Commits on Feb 12, 2026

Make risc0-zkvm, k256, lazy_static optional; add standalone Digest
AHartNtkn
committed
Feature-gate constants, utilities, merkle_path, nullifier_key
AHartNtkn
committed
Structured ComplianceInstance + feature-gate compliance/compliance_unit
AHartNtkn
committed
Restructure logic instance/proof: move LogicVerifierInputs, add to_journal
AHartNtkn
committed
Feature-gate action.rs: split into ungated/zkvm/k256 impl blocks
AHartNtkn
committed
Feature-gate transaction.rs with inline batch aggregation
AHartNtkn
committed
Fix action_tree.rs to use padding_leaf() instead of removed PADDING_LEAF lazy_static

AHartNtkn
and
claude
committed
Fix workspace CI: re-export LogicVerifierInputs, use initial_root(), fix clippy and fmt

AHartNtkn
and
claude
committed

Commits on Feb 25, 2026