Migrate SDK to snarkvm v4.8.1 (MainnetV0) with pytest KAT suite#44

Merged

iamalwaysuncomfortable merged 72 commits into

feat/snarkvm-4.7-migration

Jul 10, 2026

Commits on Jul 8, 2026

build: bump snarkvm to 4.7.3, add mainnet/testnet feature seam

iamalwaysuncomfortable
and
claude
committed
feat: drop coinbase/puzzle module (removed in snarkvm 4.x)
iamalwaysuncomfortable
committed
feat: cfg-select network in types.rs, migrate aliases to snarkvm 4.7.3 paths

iamalwaysuncomfortable
and
claude
committed
fix: cfg-gate network imports to keep both builds warning-free
iamalwaysuncomfortable
committed
feat: two-build pymodule (_aleolib_mainnet/_testnet), drop coinbase classes

iamalwaysuncomfortable
and
claude
committed
feat: port algebra module to snarkvm 4.7.3

iamalwaysuncomfortable
and
claude
committed
feat: port credits and network modules to snarkvm 4.7.3

iamalwaysuncomfortable
and
claude
committed
fix: drop Network.edition() — EDITION removed from snarkvm 4.x Network trait
iamalwaysuncomfortable
committed
feat: port account module to snarkvm 4.7.3 (record version, property getters, random())

iamalwaysuncomfortable
and
claude
committed
feat: port programs value/key/program/transaction types to snarkvm 4.7.3

iamalwaysuncomfortable
and
claude
committed
feat: port process/trace/query/fee to snarkvm 4.7.3 fee+cost+proving flow

iamalwaysuncomfortable
and
claude
committed
feat: expose aleo.mainnet re-export over _aleolib_mainnet

iamalwaysuncomfortable
and
claude
committed
test: vendor TS-SDK known-answer vectors + pytest scaffolding

iamalwaysuncomfortable
and
claude
committed
test: account key-derivation and sign/verify KATs
iamalwaysuncomfortable
committed
test: record decrypt KAT (version-aware Record)

iamalwaysuncomfortable
and
claude
committed
test: algebra round-trip and arithmetic KATs
iamalwaysuncomfortable
committed
test: programs parse + authorize smoke tests

iamalwaysuncomfortable
and
claude
committed
ci: run pytest suite; drop legacy test.py; retarget type stubs

iamalwaysuncomfortable
and
claude
committed
refactor: anti-viem audit — properties, dunders, explicit random()

iamalwaysuncomfortable
and
claude
committed
docs: update usage for aleo.mainnet + snarkvm 4.7.3
iamalwaysuncomfortable
committed
fix: repair Encryptor property access, correct execution_cost stubs, add encryptor tests

iamalwaysuncomfortable
and
claude
committed
test: make wrong-secret encryptor test fail on unexpected exception types

iamalwaysuncomfortable
and
claude
committed
build: upgrade snarkvm to git tag v4.8.1

iamalwaysuncomfortable
and
claude
committed
test: cover execute/prove/verify, fee authorization, cost, transaction assembly, serial numbers

iamalwaysuncomfortable
and
claude
committed
fix: prove_execution takes a locator string, matching native API and stubs

iamalwaysuncomfortable
and
claude
committed
ci: parallel GitHub Actions test workflow; drop unused openssl dependency

iamalwaysuncomfortable
and
claude
committed
style: cargo fmt

iamalwaysuncomfortable
and
claude
committed
ci: scope pyright to the shipped package, exclude tests/venv/build dirs

iamalwaysuncomfortable
and
claude
committed
ci: remove CircleCI (superseded by GitHub Actions test workflow)

iamalwaysuncomfortable
and
claude
committed
ci: rebuild wheels pipeline — modern actions, native runners, smoke tests

iamalwaysuncomfortable
and
claude
committed

Commits on Jul 9, 2026

Commits on Jul 10, 2026

fix: make ProvingRequest import lazy (object path imports nothing)

iamalwaysuncomfortable
and
claude
committed