|
1 |
| -import time |
2 |
| - |
3 |
| -from bitcoinlib.services.bitcoind import BitcoindClient |
4 | 1 | import flexitest
|
| 2 | +from bitcoinlib.services.bitcoind import BitcoindClient |
5 | 3 |
|
6 | 4 | from envs import testenv
|
7 |
| -from utils import wait_for_proof_with_time_out, wait_until, bytes_to_big_endian, cl_slot_to_block_id |
| 5 | +from utils import bytes_to_big_endian, cl_slot_to_block_id, wait_for_proof_with_time_out, wait_until |
8 | 6 |
|
9 | 7 | CHECKPOINT_PROVER_PARAMS = {
|
10 | 8 | "checkpoint_idx": 1,
|
11 |
| - "l1_range": (1, 2), |
12 |
| - "l2_range": (1, 2), |
| 9 | + "l1_range": (1, 1), |
| 10 | + "l2_range": (1, 1), |
13 | 11 | }
|
14 | 12 |
|
15 | 13 |
|
@@ -54,14 +52,18 @@ def main(self, ctx: flexitest.RunContext):
|
54 | 52 | l2_end_block_commitment = {"slot": slot, "blkid": block_id}
|
55 | 53 |
|
56 | 54 | task_ids = prover_client_rpc.dev_strata_proveCheckpointRaw(
|
57 |
| - CHECKPOINT_PROVER_PARAMS["checkpoint_idx"], (l1_start_block_commitment, l1_end_block_commitment), (l2_start_block_commitment, l2_end_block_commitment) |
| 55 | + CHECKPOINT_PROVER_PARAMS["checkpoint_idx"], |
| 56 | + (l1_start_block_commitment, l1_end_block_commitment), |
| 57 | + (l2_start_block_commitment, l2_end_block_commitment), |
58 | 58 | )
|
59 | 59 | self.debug(f"got the task ids: {task_ids}")
|
60 | 60 | assert task_ids is not None
|
61 | 61 |
|
62 | 62 | time_out = 30
|
63 |
| - is_proof_generation_completed = wait_for_proof_with_time_out(prover_client_rpc, task_ids[0], time_out=time_out) |
| 63 | + is_proof_generation_completed = wait_for_proof_with_time_out( |
| 64 | + prover_client_rpc, task_ids[0], time_out=time_out |
| 65 | + ) |
64 | 66 |
|
65 | 67 | # Proof generation is expected to fail because the range will not match
|
66 | 68 | # CL STF Proof will fail, which in turns fails the checkpoint proof
|
67 |
| - assert(not is_proof_generation_completed) |
| 69 | + assert not is_proof_generation_completed |
0 commit comments