group | fri.log_blowup | total_cells_used | total_cycles | total_proof_time_ms |
---|---|---|---|---|
fibonacci_program | 2 |
51,615,800 |
3,000,274 |
(-48.0 [-0.9%]) 5,511.0 |
Detailed Metrics
commit_exe_time_ms | fri.log_blowup | keygen_time_ms |
---|---|---|
(-1.0 [-20.0%]) 4.0 |
2 |
(-6.0 [-1.2%]) 500.0 |
air_name | constraints | interactions | quotient_deg |
---|---|---|---|
ProgramAir | 4 |
1 |
1 |
VmConnectorAir | 9 |
3 |
(-2 [-50.0%]) 2 |
PersistentBoundaryAir<8> | 6 |
3 |
2 |
MemoryMerkleAir<8> | 40 |
4 |
2 |
AccessAdapterAir<2> | 14 |
5 |
(-2 [-50.0%]) 2 |
AccessAdapterAir<4> | 14 |
5 |
(-2 [-50.0%]) 2 |
AccessAdapterAir<8> | 14 |
5 |
(-2 [-50.0%]) 2 |
AccessAdapterAir<16> | 14 |
5 |
2 |
AccessAdapterAir<32> | 14 |
5 |
2 |
AccessAdapterAir<64> | 14 |
5 |
2 |
VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 17 |
15 |
2 |
VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 88 |
25 |
2 |
VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 38 |
24 |
2 |
VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 26 |
19 |
2 |
RangeTupleCheckerAir<2> | 4 |
1 |
1 |
VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 15 |
11 |
2 |
VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 20 |
16 |
2 |
VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 22 |
10 |
2 |
VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 41 |
13 |
2 |
VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 25 |
11 |
2 |
VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 33 |
18 |
2 |
VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 38 |
17 |
2 |
VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 90 |
23 |
2 |
VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 39 |
17 |
2 |
VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 43 |
19 |
2 |
BitwiseOperationLookupAir<8> | 4 |
2 |
2 |
PhantomAir | 5 |
3 |
(-2 [-50.0%]) 2 |
Poseidon2VmAir | 525 |
32 |
(-2 [-50.0%]) 2 |
VariableRangeCheckerAir | 4 |
1 |
1 |
group | segment | stark_prove_excluding_trace_time_ms | total_cells | total_cells_used | total_cycles | trace_gen_time_ms |
---|---|---|---|---|---|---|
fibonacci_program | 0 | (-48.0 [-0.9%]) 5,511.0 |
197,696,030 |
51,615,800 |
3,000,274 |
(-16.0 [-6.1%]) 248.0 |
group | chip_name | segment | rows_used |
---|---|---|---|
fibonacci_program | ProgramChip | 0 | 3,335 |
fibonacci_program | VmConnectorAir | 0 | 2 |
fibonacci_program | Boundary | 0 | 38 |
fibonacci_program | Merkle | 0 | 284 |
fibonacci_program | AccessAdapter<8> | 0 | 38 |
fibonacci_program | <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> | 0 | 3 |
fibonacci_program | RangeTupleCheckerAir<2> | 0 | 524,288 |
fibonacci_program | <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> | 0 | 9 |
fibonacci_program | <Rv32JalrAdapterAir,Rv32JalrCoreAir> | 0 | 13 |
fibonacci_program | <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> | 0 | 100,010 |
fibonacci_program | <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> | 0 | 5 |
fibonacci_program | <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> | 0 | 200,009 |
fibonacci_program | <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> | 0 | 28 |
fibonacci_program | <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> | 0 | 2 |
fibonacci_program | <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> | 0 | 300,002 |
fibonacci_program | <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> | 0 | 900,054 |
fibonacci_program | BitwiseOperationLookupAir<8> | 0 | 65,536 |
fibonacci_program | PhantomAir | 0 | 2 |
fibonacci_program | Poseidon2VmAir | 0 | 322 |
fibonacci_program | VariableRangeCheckerAir | 0 | 262,144 |
group | dsl_ir | opcode | segment | frequency |
---|---|---|---|---|
fibonacci_program | ADD | 0 | 900,045 |
|
fibonacci_program | AND | 0 | 2 |
|
fibonacci_program | AUIPC | 0 | 9 |
|
fibonacci_program | BEQ | 0 | 100,004 |
|
fibonacci_program | BGEU | 0 | 3 |
|
fibonacci_program | BLTU | 0 | 2 |
|
fibonacci_program | BNE | 0 | 100,005 |
|
fibonacci_program | HINT_STOREW | 0 | 3 |
|
fibonacci_program | JAL | 0 | 100,001 |
|
fibonacci_program | JALR | 0 | 13 |
|
fibonacci_program | LOADW | 0 | 13 |
|
fibonacci_program | LUI | 0 | 9 |
|
fibonacci_program | OR | 0 | 1 |
|
fibonacci_program | PHANTOM | 0 | 2 |
|
fibonacci_program | SLL | 0 | 2 |
|
fibonacci_program | SLTU | 0 | 300,002 |
|
fibonacci_program | STOREW | 0 | 15 |
|
fibonacci_program | SUB | 0 | 4 |
|
fibonacci_program | XOR | 0 | 2 |
group | air_name | dsl_ir | opcode | segment | cells_used |
---|---|---|---|---|---|
fibonacci_program | <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> | ADD | 0 | 32,401,620 |
|
fibonacci_program | AccessAdapter<8> | ADD | 0 | 68 |
|
fibonacci_program | Boundary | ADD | 0 | 160 |
|
fibonacci_program | Merkle | ADD | 0 | 320 |
|
fibonacci_program | <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> | AND | 0 | 72 |
|
fibonacci_program | <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> | AUIPC | 0 | 189 |
|
fibonacci_program | AccessAdapter<8> | AUIPC | 0 | 34 |
|
fibonacci_program | Boundary | AUIPC | 0 | 80 |
|
fibonacci_program | Merkle | AUIPC | 0 | 3,456 |
|
fibonacci_program | <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> | BEQ | 0 | 2,600,104 |
|
fibonacci_program | <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> | BGEU | 0 | 96 |
|
fibonacci_program | <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> | BLTU | 0 | 64 |
|
fibonacci_program | <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> | BNE | 0 | 2,600,130 |
|
fibonacci_program | <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> | HINT_STOREW | 0 | 78 |
|
fibonacci_program | AccessAdapter<8> | HINT_STOREW | 0 | 17 |
|
fibonacci_program | Boundary | HINT_STOREW | 0 | 40 |
|
fibonacci_program | Merkle | HINT_STOREW | 0 | 128 |
|
fibonacci_program | <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> | JAL | 0 | 1,800,018 |
|
fibonacci_program | <Rv32JalrAdapterAir,Rv32JalrCoreAir> | JALR | 0 | 364 |
|
fibonacci_program | <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> | LOADW | 0 | 520 |
|
fibonacci_program | AccessAdapter<8> | LOADW | 0 | 34 |
|
fibonacci_program | Boundary | LOADW | 0 | 80 |
|
fibonacci_program | Merkle | LOADW | 0 | 2,304 |
|
fibonacci_program | <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> | LUI | 0 | 162 |
|
fibonacci_program | <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> | OR | 0 | 36 |
|
fibonacci_program | PhantomAir | PHANTOM | 0 | 12 |
|
fibonacci_program | <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> | SLL | 0 | 106 |
|
fibonacci_program | <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> | SLTU | 0 | 11,100,074 |
|
fibonacci_program | AccessAdapter<8> | SLTU | 0 | 34 |
|
fibonacci_program | Boundary | SLTU | 0 | 80 |
|
fibonacci_program | <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> | STOREW | 0 | 600 |
|
fibonacci_program | AccessAdapter<8> | STOREW | 0 | 136 |
|
fibonacci_program | Boundary | STOREW | 0 | 320 |
|
fibonacci_program | Merkle | STOREW | 0 | 2,816 |
|
fibonacci_program | <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> | SUB | 0 | 144 |
|
fibonacci_program | <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> | XOR | 0 | 72 |
group | execute_time_ms | fri.log_blowup | num_segments | total_cells_used | total_cycles | total_proof_time_ms |
---|---|---|---|---|---|---|
fibonacci_program | (-18.0 [-1.1%]) 1,692.0 |
2 |
1 |
51,615,800 |
3,000,274 |
(-48.0 [-0.9%]) 5,511.0 |
group | air_name | segment | cells | main_cols | perm_cols | prep_cols | rows |
---|---|---|---|---|---|---|---|
fibonacci_program | ProgramAir | 0 | 73,728 |
10 |
8 |
4,096 |
|
fibonacci_program | VmConnectorAir | 0 | 32 |
4 |
12 |
1 |
2 |
fibonacci_program | PersistentBoundaryAir<8> | 0 | 2,048 |
20 |
12 |
64 |
|
fibonacci_program | MemoryMerkleAir<8> | 0 | 26,624 |
32 |
20 |
512 |
|
fibonacci_program | AccessAdapterAir<8> | 0 | 2,624 |
17 |
24 |
64 |
|
fibonacci_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 0 | 248 |
26 |
36 |
4 |
|
fibonacci_program | RangeTupleCheckerAir<2> | 0 | 4,718,592 |
1 |
8 |
2 |
524,288 |
fibonacci_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 0 | 784 |
21 |
28 |
16 |
|
fibonacci_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 0 | 1,024 |
28 |
36 |
16 |
|
fibonacci_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 0 | 8,126,464 |
18 |
44 |
131,072 |
|
fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 0 | 704 |
32 |
56 |
8 |
|
fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 0 | 19,398,656 |
26 |
48 |
262,144 |
|
fibonacci_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 0 | 3,584 |
40 |
72 |
32 |
|
fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 0 | 210 |
53 |
52 |
2 |
|
fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 0 | 40,370,176 |
37 |
40 |
524,288 |
|
fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 0 | 121,634,816 |
36 |
80 |
1,048,576 |
|
fibonacci_program | BitwiseOperationLookupAir<8> | 0 | 655,360 |
2 |
8 |
3 |
65,536 |
fibonacci_program | PhantomAir | 0 | 36 |
6 |
12 |
2 |
|
fibonacci_program | Poseidon2VmAir | 0 | 321,024 |
559 |
68 |
512 |
|
fibonacci_program | VariableRangeCheckerAir | 0 | 2,359,296 |
1 |
8 |
2 |
262,144 |
Commit: https://github.com/openvm-org/openvm/commit/24e45001f4c7dfe41ab51f2c77b26d9af06247ae
Max Segment Length: 1048476
Instance Type: 64cpu-linux-arm64
Memory Allocator: mimalloc