mirror of
https://github.com/danog/toncontest.git
synced 2024-11-30 04:29:14 +01:00
270 lines
7.4 KiB
Plaintext
270 lines
7.4 KiB
Plaintext
"TonUtil.fif" include
|
||
|
||
// b body -- b'
|
||
{ tuck <s 2dup s-fits? not rot over 1 i, -rot
|
||
{ drop swap ref, } { s, nip } cond
|
||
} : maybe-ref,
|
||
|
||
// filename -- c
|
||
{ dup ."Loading order from file " type ."..." cr
|
||
file>B B>boc
|
||
} : load-boc
|
||
|
||
// filename -- uint256
|
||
{ dup ."Loading public key from file " type ."..." cr
|
||
file>B dup Blen 32 <> abort"Public key must be exactly 32 bytes long"
|
||
256 B>u@
|
||
} : load-pubkey
|
||
|
||
' constant : const
|
||
' 2constant : 2const
|
||
|
||
// D n -- uint
|
||
{
|
||
0 -rot
|
||
{ drop swap 1+ swap -1 } dictmap drop
|
||
} : dictlen
|
||
|
||
// u D n -- s ? or ?
|
||
{
|
||
{ swap 2 pick = { nip 0 } { drop -1 } cond } dictforeach
|
||
dup ' nip if
|
||
not
|
||
} : dict[]
|
||
|
||
{ hole dup 1 ' @ does create 1 ' ! does create } : variable-set
|
||
{ hole hole 2dup 2 { @ swap @ swap } does create 2 { rot swap ! ! } does create } : 2variable-set
|
||
2variable-set wallet-addr wallet-addr!
|
||
variable-set message-hash message-hash!
|
||
variable-set message-contents message-contents!
|
||
variable-set sig-count sig-count!
|
||
|
||
// udata BSig ukey – ?
|
||
{
|
||
256 u>B rot 256 u>B -rot ed25519_chksign
|
||
} : ed25519_chksignuu
|
||
|
||
// Inspects contents of cell provided on top of the stack
|
||
// c --
|
||
//
|
||
// defines/updates the following vars
|
||
//
|
||
// wallet-addr = u u
|
||
// message-hash = B
|
||
// message-contents = s
|
||
{
|
||
// Assuming the same external structure created by create.fif (simple external message)
|
||
//
|
||
// addr_none$00 = MsgAddressExt;
|
||
// addr_extern$01 len:(## 9) external_address:(bits len)
|
||
// = MsgAddressExt;
|
||
// anycast_info$_ depth:(#<= 30) { depth >= 1 }
|
||
// rewrite_pfx:(bits depth) = Anycast;
|
||
// addr_std$10 anycast:(Maybe Anycast)
|
||
// workchain_id:int8 address:bits256 = MsgAddressInt;
|
||
// addr_var$11 anycast:(Maybe Anycast) addr_len:(## 9)
|
||
// workchain_id:int32 address:(bits addr_len) = MsgAddressInt;
|
||
//
|
||
// ext_in_msg_info$10 src:MsgAddressExt dest:MsgAddressInt
|
||
// import_fee:Grams = CommonMsgInfo;
|
||
//
|
||
//
|
||
// message$_ {X:Type} info:CommonMsgInfo
|
||
// init:(Maybe (Either StateInit ^StateInit))
|
||
// body:(Either X ^X) = Message X;
|
||
//
|
||
// <b b{1000100} s, wallet-addr addr, 0 Gram, b{00} s,
|
||
// swap <s s, b>
|
||
// (external message)
|
||
//
|
||
|
||
|
||
// message$_ {X:Type} info:CommonMsgInfo
|
||
// init:(Maybe (Either StateInit ^StateInit))
|
||
// body:(Either X ^X) = Message X;
|
||
<s dup csr. cr
|
||
// External message
|
||
// ext_in_msg_info$10 src:MsgAddressExt (addr_none$00) dest:MsgAddressInt (addr_std$10 anycast 0) ... import_fee:Grams = CommonMsgInfo;
|
||
// 10 00 10 0
|
||
// 1000100 => 68
|
||
7 u@+ swap 68 <> { ."There seems to be an invalid header" cr } if
|
||
|
||
8 i@+
|
||
256 u@+ -rot
|
||
2dup wallet-addr!
|
||
."Wallet address: " .addr cr
|
||
|
||
Gram@+ nip // Ignore grams
|
||
|
||
1 u@+ swap // init:(Maybe
|
||
abort"This seems to be an init message"
|
||
|
||
// body:(Either X ^X)
|
||
1 u@+ swap
|
||
{ ref@ <s } if // Load ref
|
||
dup message-contents!
|
||
|
||
// multiSigWrapper$0 signatures:(HashmapE 4 Signature) message:(WrappedMessage X) = MultiSigWrapper X;
|
||
1 u@+ swap
|
||
dup ."Message version: " . cr
|
||
abort"Unsupported message version!"
|
||
|
||
dict@+ swap
|
||
dup null? abort"Empty signature list!"
|
||
dup 4 dictlen sig-count!
|
||
|
||
."Signed by the following keys: "
|
||
4 { drop . ."- " -1 } dictforeach cr drop
|
||
|
||
."Hash: " dup s>c hashu dup x. cr
|
||
message-hash!
|
||
|
||
// modeMessage$0 mode:uint8 body:^(Message X) = ModeMessage X;
|
||
// wrappedMessage$_ expires_at:uint32 seqno:uint32 body:(ModeMessage X) = WrappedMessage X;
|
||
|
||
32 u@+ swap
|
||
dup ."Expires: " .
|
||
dup now < { ."(already EXPIRED!)" drop } { ."(in " now - . ."seconds)" } cond cr
|
||
|
||
32 u@+ swap
|
||
."Seqno: " . cr
|
||
|
||
1 u@+ swap
|
||
{ ."Is code message!" cr }
|
||
{
|
||
8 u@+ swap
|
||
."Mode: " . cr
|
||
|
||
// Now on to the actual message we're agreeing to sign
|
||
//
|
||
// int_msg_info$0 ihr_disabled:Bool bounce:Bool bounced:Bool
|
||
// src:MsgAddressInt dest:MsgAddressInt
|
||
// value:CurrencyCollection ihr_fee:Grams fwd_fee:Grams
|
||
// created_lt:uint64 created_at:uint32 = CommonMsgInfo;
|
||
// ext_in_msg_info$10 src:MsgAddressExt dest:MsgAddressInt
|
||
// import_fee:Grams = CommonMsgInfo;
|
||
// ext_out_msg_info$11 src:MsgAddressInt dest:MsgAddressExt
|
||
// created_lt:uint64 created_at:uint32 = CommonMsgInfo;
|
||
."=>" cr ref@ <s
|
||
|
||
1 u@+ swap
|
||
{ // External message *$1*
|
||
."Inside: external message" cr
|
||
}
|
||
{ // Internal message int_msg_info$0
|
||
."Inside: internal message" cr
|
||
1 u@+ swap
|
||
."Instant hypercube routing disabled? " . cr
|
||
|
||
1 u@+ swap
|
||
."Bounce flag set? " . cr
|
||
|
||
1 u@+ swap
|
||
// ."Bounced flag set? " . cr
|
||
drop
|
||
|
||
2 u@+ nip // Drop src address constructor + flags
|
||
|
||
3 u@+ swap // Read dst address constructor + flags
|
||
// addr_std$10 anycast 0 => 100 => 4
|
||
4 <> abort"Unsupported address!" // Make things simple for now
|
||
|
||
8 i@+
|
||
256 u@+ -rot
|
||
."Destination address: " .addr cr
|
||
|
||
Gram@+ swap
|
||
."Grams: " .GR cr
|
||
} cond
|
||
} cond
|
||
drop
|
||
} : inspect
|
||
|
||
// storage$_ seqno:uint32 minSigs:(## 4) keys:(HashmapE 4 PubKey) messages:(HashmapE 256 (MultiSigWrapperStorage X)) = Storage X;
|
||
// c --
|
||
{
|
||
<s
|
||
32 u@+ swap
|
||
."Seqno: " . cr
|
||
|
||
4 u@+ swap
|
||
."Minsigs: " . cr
|
||
|
||
dict@+ swap
|
||
."Keys: " 4 dictlen . cr
|
||
|
||
dict@
|
||
."Messages: " dup 256 dictlen . cr
|
||
|
||
256
|
||
{
|
||
cr ."Inspecting message " swap x. cr
|
||
|
||
4 u@+ swap
|
||
."Signature count: " dup . cr
|
||
sig-count!
|
||
|
||
dict@+ swap
|
||
."Signed by the following keys: "
|
||
4 { drop . ."- " -1 } dictforeach cr drop
|
||
|
||
."Hash: " dup s>c hashu dup x. cr
|
||
message-hash!
|
||
|
||
// modeMessage$0 mode:uint8 body:^(Message X) = ModeMessage X;
|
||
// wrappedMessage$_ expires_at:uint32 seqno:uint32 body:(ModeMessage X) = WrappedMessage X;
|
||
|
||
32 u@+ swap
|
||
dup ."Expires: " .
|
||
dup now < { ."(already EXPIRED!)" drop } { ."(in " now - . ."seconds)" } cond cr
|
||
|
||
32 u@+ swap
|
||
."Seqno: " . cr
|
||
|
||
8 u@+ swap
|
||
."Mode: " . cr
|
||
|
||
// Now on to the actual message we're agreeing to sign
|
||
//
|
||
// int_msg_info$0 ihr_disabled:Bool bounce:Bool bounced:Bool
|
||
// src:MsgAddressInt dest:MsgAddressInt
|
||
// value:CurrencyCollection ihr_fee:Grams fwd_fee:Grams
|
||
// created_lt:uint64 created_at:uint32 = CommonMsgInfo;
|
||
// ext_in_msg_info$10 src:MsgAddressExt dest:MsgAddressInt
|
||
// import_fee:Grams = CommonMsgInfo;
|
||
// ext_out_msg_info$11 src:MsgAddressInt dest:MsgAddressExt
|
||
// created_lt:uint64 created_at:uint32 = CommonMsgInfo;
|
||
."=>" cr ref@ <s
|
||
1 u@+ swap
|
||
{ // External message *$1*
|
||
."Inside: external message" cr
|
||
}
|
||
{ // Internal message int_msg_info$0
|
||
."Inside: internal message" cr
|
||
1 u@+ swap
|
||
."Instant hypercube routing disabled? " . cr
|
||
|
||
1 u@+ swap
|
||
."Bounce flag set? " . cr
|
||
|
||
1 u@+ swap
|
||
// ."Bounced flag set? " . cr
|
||
drop
|
||
|
||
2 u@+ nip // Drop src address constructor + flags
|
||
|
||
3 u@+ swap // Read dst address constructor + flags
|
||
// addr_std$10 anycast 0 => 100 => 4
|
||
4 <> abort"Unsupported address!" // Make things simple for now
|
||
|
||
8 i@+
|
||
256 u@+ -rot
|
||
."Destination address: " .addr cr
|
||
|
||
Gram@+ swap
|
||
."Grams: " .GR cr
|
||
} cond
|
||
drop
|
||
-1
|
||
} dictforeach drop
|
||
} : inspect-storage |