Repository navigation

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

Merged

iamalwaysuncomfortable merged 72 commits into

masterfrom

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
  013408b
- feat: drop coinbase/puzzle module (removed in snarkvm 4.x)
  iamalwaysuncomfortable
  committed
  21d3db6
- feat: cfg-select network in types.rs, migrate aliases to snarkvm 4.7.3 paths
  
  iamalwaysuncomfortable
  and
  claude
  committed
  e515bb5
- fix: cfg-gate network imports to keep both builds warning-free
  iamalwaysuncomfortable
  committed
  9c286d7
- feat: two-build pymodule (_aleolib_mainnet/_testnet), drop coinbase classes
  
  iamalwaysuncomfortable
  and
  claude
  committed
  12b4fb2
- feat: port algebra module to snarkvm 4.7.3
  
  iamalwaysuncomfortable
  and
  claude
  committed
  b6aa37e
- feat: port credits and network modules to snarkvm 4.7.3
  
  iamalwaysuncomfortable
  and
  claude
  committed
  ba14103
- fix: drop Network.edition() — EDITION removed from snarkvm 4.x Network trait
  iamalwaysuncomfortable
  committed
  5f228ef
- feat: port account module to snarkvm 4.7.3 (record version, property getters, random())
  
  iamalwaysuncomfortable
  and
  claude
  committed
  79fbac8
- feat: port programs value/key/program/transaction types to snarkvm 4.7.3
  
  iamalwaysuncomfortable
  and
  claude
  committed
  bdcecdb
- feat: port process/trace/query/fee to snarkvm 4.7.3 fee+cost+proving flow
  
  iamalwaysuncomfortable
  and
  claude
  committed
  0bf686e
- feat: expose aleo.mainnet re-export over _aleolib_mainnet
  
  iamalwaysuncomfortable
  and
  claude
  committed
  35ce0e8
- test: vendor TS-SDK known-answer vectors + pytest scaffolding
  
  iamalwaysuncomfortable
  and
  claude
  committed
  22ee01f
- test: account key-derivation and sign/verify KATs
  iamalwaysuncomfortable
  committed
  b8104cf
- test: record decrypt KAT (version-aware Record)
  
  iamalwaysuncomfortable
  and
  claude
  committed
  2f5701e
- test: algebra round-trip and arithmetic KATs
  iamalwaysuncomfortable
  committed
  00d3a36
- test: programs parse + authorize smoke tests
  
  iamalwaysuncomfortable
  and
  claude
  committed
  7da12e4
- ci: run pytest suite; drop legacy test.py; retarget type stubs
  
  iamalwaysuncomfortable
  and
  claude
  committed
  ccac109
- refactor: anti-viem audit — properties, dunders, explicit random()
  
  iamalwaysuncomfortable
  and
  claude
  committed
  325e6bc
- docs: update usage for aleo.mainnet + snarkvm 4.7.3
  iamalwaysuncomfortable
  committed
  01a44a5
- fix: repair Encryptor property access, correct execution_cost stubs, add encryptor tests
  
  iamalwaysuncomfortable
  and
  claude
  committed
  3ae5ac1
- test: make wrong-secret encryptor test fail on unexpected exception types
  
  iamalwaysuncomfortable
  and
  claude
  committed
  b11ec13
- build: upgrade snarkvm to git tag v4.8.1
  
  iamalwaysuncomfortable
  and
  claude
  committed
  cec9007
- test: cover execute/prove/verify, fee authorization, cost, transaction assembly, serial numbers
  
  iamalwaysuncomfortable
  and
  claude
  committed
  c81073c
- fix: prove_execution takes a locator string, matching native API and stubs
  
  iamalwaysuncomfortable
  and
  claude
  committed
  97d63a0
- ci: parallel GitHub Actions test workflow; drop unused openssl dependency
  
  iamalwaysuncomfortable
  and
  claude
  committed
  be568bd
- style: cargo fmt
  
  iamalwaysuncomfortable
  and
  claude
  committed
  7196d4d
- ci: scope pyright to the shipped package, exclude tests/venv/build dirs
  
  iamalwaysuncomfortable
  and
  claude
  committed
  5acd697
- ci: remove CircleCI (superseded by GitHub Actions test workflow)
  
  iamalwaysuncomfortable
  and
  claude
  committed
  fd7d648
- ci: rebuild wheels pipeline — modern actions, native runners, smoke tests
  
  iamalwaysuncomfortable
  and
  claude
  committed
  c3e37de
Commits on Jul 9, 2026
Commits on Jul 10, 2026
- fix: make ProvingRequest import lazy (object path imports nothing)
  
  iamalwaysuncomfortable
  and
  claude
  committed
  422f242

Commits

Commits on Jul 8, 2026

Commits on Jul 9, 2026

Commits on Jul 10, 2026