Multisig implementation - #480

Draft

axic wants to merge 81 commits into

argotorg:mainfrom

Commits on Jul 24, 2026

Support ABI decoding of dynamic arrays of ADTs (calldata, lazy)

claude
and
axic
committed
312bd5b
Support ops[i] indexing sugar for calldata arrays
claude
committed
00f99d6
Use non-trivial sentinels (16/32) in abi_array_sum tagOf test
claude
committed
a2402a6
Bounds-check abiArrayGet with ArrayOutOfBounds error
claude
committed
d578aaa
Add nested-ADT compile test (abi_batch_adt)
claude
committed
67ecfcf
Make sum ABI head footprint dynamic-aware (step 1 of dynamic ADT ABI)
claude
committed
b37f0fa
Wire calldata array .length() through the Length class UFCS
claude
committed
199a0a2
Decode dynamic-element calldata arrays via an offset table
claude
committed
534932a
Use qualified Length.length in abi_array_sum (value-receiver UFCS not on base)
claude
committed
12b38da
Extend UFCS to value receivers so ops.length() resolves
claude
committed
9f8bc95
Rename reserved-word binder in abi_batch_adt (data -> payload)
claude
committed
5dcce0a
Add runtime fixture for abi_batch_adt (dynamic-element array decode)
claude
committed
cba8e92
Support calldata(array(bytes)): unify dynamic-element decode
claude
committed
012ecc6
Fix: bytes is dynamic in ABIAttribs (was defaulting to static)
claude
committed
638a0af
Run abi_bytes_array before abi_batch_adt to isolate the failure
claude
committed
566d245
Flatten sum decode: single tag match for inl/inr (fix dynamic-sum decode)
claude
committed
3a4135b
Add abi_dyn_sum: isolate dynamic-sum decode from nested-ADT decode
claude
committed
ed16283
Fix corrupted abi_batch_adt fixture calldata (nibble misalignment)
claude
committed
b1c4877
test: add abi_address_array dispatch test for calldata(array(address))
claude
committed
b8d04a7
test: add out-of-bounds revert case to each ABI-array dispatch test
claude
committed
2481267
Do not export
axic
committed
51cc7f9

Commits on Jul 26, 2026

ABI: represent array(t) as t[] instead of aborting

claude
authored and
axic
committed
7406f6a
Add EIP-712 typed-data hashing support to std + example

claude
authored and
axic
committed
c739201
testrunner: register ecrecover vector for the EIP-712 example

claude
authored and
axic
committed
3cd3c6a
Split into std/eip712.solc
axic
committed
79a6cb5
Add initial layout
axic
committed
0d32686
Add more complex structure
axic
committed
fe3d1e2
Signatures + batching
axic
committed
95f75df
Add approval tracking
axic
committed
ebb075b
Parity
axic
committed
245c864
implement ChangeSigRequired
axic
committed
bf97453
Implement TransferEth
axic
committed
2bcac8e
Implement UnstoredCall
axic
committed
d48ea93
Add sanity check for ChangeSigRequired
axic
committed
38f25ac
Refactor checkSignature
axic
committed
81867e3
Implement batch
axic
committed
bb730f1
Add queueWithSignature
axic
committed
594f9b9
Refactor internals
axic
committed
03392dd
Pass correct signer to perform_approve
axic
committed
3b316f7
Add sanity check to AddSigner
axic
committed
fe96e4a
Remove useless nonce
axic
committed
8c77960
Rename approvals to vote and store rejections
axic
committed
76ba73c
Add ecdsa malleability todo
axic
committed
2f24735
Add a special version of nonce
axic
committed
dc10346
Use match
axic
committed
c22bdcc
Encode UnstoredCall properly
axic
committed
36bb70e
Add safe_erc20_transfer helper
axic
committed
a26a3af
Implement TransferToken
axic
committed
03760df
Implement Call
axic
committed
3d0d0fe
Add malleability check
axic
committed
4ecbf60
Add create_signature_hash helper
axic
committed
915f37c
Add dummy isValidSignature
axic
committed
9717c95
Implement ApproveSignedHash
axic
committed
6987479
Add RevokeSignedHash
axic
committed
cd9ba87
Document execute/reject logic
axic
committed
ec70139
Reject incoming transfer in non-receive case
axic
committed
dbb2bf0
Change Pending/Approved into Approvals
axic
committed
1d92a83
Compilation fixes
axic
committed
fe07fa3
Compilation fixes
axic
committed
ff9d605
Typesystem bug
axic
committed
be14b58
Add public/private keyword
axic
committed
7c7b5a9
Import caller from std.opcodes
axic
committed
a4a9a9e
Remove ecrecover (its in std now)
axic
committed
ad99315
f
axic
committed
a4fdbc2
Fix caller
axic
committed
6bb0435
Explicit matches
axic
committed
5405881
Add Vote:Eq
axic
committed
6dc0589
uint256(0) type
axic
committed
25c0a70
Exhaustive match
axic
committed
dcd2ffe
Rename to .solc
axic
committed
f4df0ce
Add basic multisig.json integration test

claude
authored and
axic
committed
68b8496
multisig.json: add ECDSA (EIP-2098) signature-path coverage

claude
authored and
axic
committed
0c4d764
testrunner: register ecrecover vectors for multisig signature tests

claude
authored and
axic
committed
262f8a6
multisig: make isValidSignature public + cover the EIP-1271 receiver

claude
authored and
axic
committed
1ff2b4e
Fix syntax in batch()
axic
committed
40397c4
multisig: implement create_signature_hash for the WithSignature paths

claude
authored and
axic
committed
046820f
multisig: make create_signature_hash an EIP-712 digest

claude
authored and
axic
committed
967256b
Fix rebase
axic
committed
9a2cad5
multisig.json: encode sum-typed args as dynamic-sum ABI

claude
authored and
axic
committed
699f305
multisig.json: add batch() lifecycle test (queue+approve+execute in one call)

claude
authored and
axic
committed
f8b7314
testrunner: register ecrecover vectors for the batch() lifecycle test

claude
authored and
axic
committed
1623652