Skip to content

refactor(foundations): change Merkle proofs code sample to Tolk #2100

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
delovoyhomie wants to merge 4 commits into
base: main
Choose a base branch
from
+22 −15
Open

refactor(foundations): change Merkle proofs code sample to Tolk #2100

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
b98f2e3
refactor(foundations): change Merkle proofs code sample to Tolk
delovoyhomie Apr 20, 2026
3730f26
Merge branch 'main' into pr-1442-merkle-proofs-tolk
novusnota Apr 22, 2026
c67740f
fix(proofs): align Tolk shard lookup example
delovoyhomie Apr 23, 2026
6a46d09
fix(proofs): avoid hidden slice mutability in Tolk example
delovoyhomie Apr 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
37 changes: 22 additions & 15 deletions foundations/proofs/overview.mdx
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -202,32 +202,39 @@ const patchedShardState = rebuild(newShardState, path, accountState) // And repl

Another interesting point is how we access the hash of the last known `ShardBlock`.

```tact title="Tact"
inline fun findShardInBinTree(root: Cell, address: Address, shardBitLen: Int): ShardDescr {
let curCs = root.beginParse();
// It's std address, but we parse it as VarAddress to get hash part as Slice, not as Int
let accountId = myParseVarAddress(address.asSlice()).address;
```tolk title="Tolk"
@pure
fun slice.preloadIthRef(self, idx: int): cell
asm "PLDREFVAR"
Comment thread
novusnota marked this conversation as resolved.

@inline
fun findShardInBinTree(root: cell, addr: address, shardBitLen: int): ShardDescr {
var curCs = root.beginParse();
val (_, accountId) = addr.getWorkchainAndHash();
var bitMask = 1 << 255;
repeat (shardBitLen) {
if (accountId.loadBool()) {
// If the bit is 1, we go to the right child
if ((accountId & bitMask) != 0) {
// If the bit is 1, go to the right child.
curCs = curCs.preloadIthRef(1).beginParse();
} else {
// If the bit is 0, we go to the left child
// If the bit is 0, go to the left child.
curCs = curCs.preloadIthRef(0).beginParse();
}
bitMask = bitMask >> 1;
}
curCs.skipBits(1); // We need to skip 1 bit - leaf tag of the tree node
curCs.skipBits(1); // Skip the leaf tag of the tree node.
return ShardDescr.fromSlice(curCs);
}

// ...

let mcBlockExtra = McBlockExtra.fromCell(blockHeader.extra.loadRef().beginParse().preloadIthRef(3));
// shardHashes is a hashmap (workchain -> ShardDescr)
// Therefore, we only need to retrieve the ShardDescr for workchain 0, as we are working in basechain.
// We can use a non-null assertion, as we already proved that it is a valid block, and a valid masterchain block must have a ShardDescr for workchain 0.
let binTreeWithShardDescr: Cell = mcBlockExtra.shardHashes.get(0)!!;
let shardDescr = findShardInBinTree(binTreeWithShardDescr, jettonMaster, shardBitLen);
var blockExtra = blockHeader.extra;
val mcBlockExtra = McBlockExtra.fromCell(blockExtra.loadRef().beginParse().preloadIthRef(3));
// shardHashes is a hashmap (workchain -> ShardDescr).
// Only the ShardDescr for workchain 0 is needed, since the target account is in basechain.
// `mustGet` is safe here because the block is already validated, and every valid masterchain block has a ShardDescr for workchain 0.
val binTreeWithShardDescr: cell = mcBlockExtra.shardHashes.mustGet(0);
val shardDescr = findShardInBinTree(binTreeWithShardDescr, jettonMaster, shardBitLen);
```

```tlb
Expand Down
Loading