-
Notifications
You must be signed in to change notification settings - Fork 53
/
Copy pathjustfile
78 lines (64 loc) · 3.42 KB
/
justfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
set fallback := true
# default recipe to display help information
default:
@just --list
run l2_block_num:
@just run-client-native {{l2_block_num}} | xargs -n 5 just run-zkvm-host
run-client-native l2_block_num l1_rpc='${CLABBY_RPC_L1}' l1_beacon_rpc='${ETH_BEACON_URL}' l2_rpc='${CLABBY_RPC_L2}' verbosity="-vvvv":
#!/usr/bin/env bash
L1_NODE_ADDRESS="{{l1_rpc}}"
L1_BEACON_ADDRESS="{{l1_beacon_rpc}}"
L2_NODE_ADDRESS="{{l2_rpc}}"
HOST_BIN_PATH="./kona-host"
CLIENT_BIN_PATH="./target/release-client-lto/zkvm-client"
L2_BLOCK_NUMBER="{{l2_block_num}}"
L2_BLOCK_SAFE_HEAD=$((L2_BLOCK_NUMBER - 1))
L2_OUTPUT_STATE_ROOT=$(cast block --rpc-url $L2_NODE_ADDRESS --field stateRoot $L2_BLOCK_SAFE_HEAD)
L2_HEAD=$(cast block --rpc-url $L2_NODE_ADDRESS --field hash $L2_BLOCK_SAFE_HEAD)
L2_OUTPUT_STORAGE_HASH=$(cast proof --rpc-url $L2_NODE_ADDRESS --block $L2_BLOCK_SAFE_HEAD 0x4200000000000000000000000000000000000016 | jq -r '.storageHash')
L2_OUTPUT_ENCODED=$(cast abi-encode "x(uint256,bytes32,bytes32,bytes32)" 0 $L2_OUTPUT_STATE_ROOT $L2_OUTPUT_STORAGE_HASH $L2_HEAD)
L2_OUTPUT_ROOT=$(cast keccak $L2_OUTPUT_ENCODED)
echo "L2 Safe Head: $L2_BLOCK_SAFE_HEAD"
echo "Safe Head Output Root: $L2_OUTPUT_ROOT"
L2_CLAIM_STATE_ROOT=$(cast block --rpc-url $L2_NODE_ADDRESS --field stateRoot $L2_BLOCK_NUMBER)
L2_CLAIM_HASH=$(cast block --rpc-url $L2_NODE_ADDRESS --field hash $L2_BLOCK_NUMBER)
L2_CLAIM_STORAGE_HASH=$(cast proof --rpc-url $L2_NODE_ADDRESS --block $L2_BLOCK_NUMBER 0x4200000000000000000000000000000000000016 | jq -r '.storageHash')
L2_CLAIM_ENCODED=$(cast abi-encode "x(uint256,bytes32,bytes32,bytes32)" 0 $L2_CLAIM_STATE_ROOT $L2_CLAIM_STORAGE_HASH $L2_CLAIM_HASH)
L2_CLAIM=$(cast keccak $L2_CLAIM_ENCODED)
echo "L2 Block Number: $L2_BLOCK_NUMBER"
echo "L2 Claim Root: $L2_CLAIM"
L2_BLOCK_TIMESTAMP=$(cast block --rpc-url $L2_NODE_ADDRESS $L2_BLOCK_NUMBER -j | jq -r .timestamp)
L1_HEAD=$(cast block --rpc-url $L1_NODE_ADDRESS $(cast find-block --rpc-url $L1_NODE_ADDRESS $(($(cast 2d $L2_BLOCK_TIMESTAMP) + 300))) -j | jq -r .hash)
echo "L1 Head: $L1_HEAD"
L2_CHAIN_ID=10
DATA_DIRECTORY="./data/$L2_BLOCK_NUMBER"
echo "Saving Data to $DATA_DIRECTORY"
echo "Building client program..."
cargo build --bin zkvm-client --profile release-client-lto
echo "Running host program with native client program..."
cargo run --bin native-host --release -- \
--l1-head $L1_HEAD \
--l2-head $L2_HEAD \
--l2-claim $L2_CLAIM \
--l2-output-root $L2_OUTPUT_ROOT \
--l2-block-number $L2_BLOCK_NUMBER \
--l2-chain-id $L2_CHAIN_ID \
--l1-node-address $L1_NODE_ADDRESS \
--l1-beacon-address $L1_BEACON_ADDRESS \
--l2-node-address $L2_NODE_ADDRESS \
--exec $CLIENT_BIN_PATH \
--data-dir $DATA_DIRECTORY \
{{verbosity}}
# Return the required values
echo "$L1_HEAD $L2_OUTPUT_ROOT $L2_CLAIM $L2_BLOCK_NUMBER $L2_CHAIN_ID"
run-zkvm-host l1_head l2_output_root l2_claim l2_claim_block chain_id:
echo "Building zkvm client program..."
# TODO: Change this to use build.rs when v1.0.9-testnet is released for building with args.
cd zkvm-client && cargo prove build --ignore-rust-version
echo "Proving zkvm program in SP1..."
cd zkvm-host && RUST_LOG=info cargo run --bin script --release -- \
--l1-head {{l1_head}} \
--l2-output-root {{l2_output_root}} \
--l2-claim {{l2_claim}} \
--l2-claim-block {{l2_claim_block}} \
--chain-id {{chain_id}}