group | fri.log_blowup | total_cells_used | total_cycles | total_proof_time_ms |
---|---|---|---|---|
fibonacci_program | 2 |
(+1,249 [+0.0%]) 51,645,721 |
1,500,219 |
(-232.0 [-3.2%]) 7,037.0 |
Detailed Metrics
group | commit_exe_time_ms | execute_and_trace_gen_time_ms | execute_time_ms | fri.log_blowup | keygen_time_ms | num_segments | total_cells_used | total_cycles | total_proof_time_ms |
---|---|---|---|---|---|---|---|---|---|
fibonacci_program | (-1.0 [-14.3%]) 6.0 |
(-37.0 [-3.7%]) 971.0 |
(+9.0 [+1.1%]) 826.0 |
2 |
(-15.0 [-6.4%]) 218.0 |
1 |
(+1,249 [+0.0%]) 51,645,721 |
1,500,219 |
(-232.0 [-3.2%]) 7,037.0 |
group | air_name | constraints | interactions | quotient_deg |
---|---|---|---|---|
fibonacci_program | ProgramAir | 4 |
1 |
1 |
fibonacci_program | VmConnectorAir | 9 |
3 |
2 |
fibonacci_program | PersistentBoundaryAir<8> | 6 |
3 |
2 |
fibonacci_program | MemoryMerkleAir<8> | 40 |
4 |
2 |
fibonacci_program | AccessAdapterAir<2> | 14 |
5 |
2 |
fibonacci_program | AccessAdapterAir<4> | 14 |
5 |
2 |
fibonacci_program | AccessAdapterAir<8> | 14 |
5 |
2 |
fibonacci_program | AccessAdapterAir<16> | 14 |
5 |
2 |
fibonacci_program | AccessAdapterAir<32> | 14 |
5 |
2 |
fibonacci_program | AccessAdapterAir<64> | 14 |
5 |
2 |
fibonacci_program | VmAirWrapper<Rv32HintStoreAdapterAir, Rv32HintStoreCoreAir> | 17 |
15 |
2 |
fibonacci_program | VmAirWrapper<Rv32MultAdapterAir, DivRemCoreAir<4, 8> | 88 |
25 |
2 |
fibonacci_program | VmAirWrapper<Rv32MultAdapterAir, MulHCoreAir<4, 8> | 38 |
24 |
2 |
fibonacci_program | VmAirWrapper<Rv32MultAdapterAir, MultiplicationCoreAir<4, 8> | 26 |
19 |
2 |
fibonacci_program | RangeTupleCheckerAir<2> | 4 |
1 |
1 |
fibonacci_program | VmAirWrapper<Rv32RdWriteAdapterAir, Rv32AuipcCoreAir> | 15 |
11 |
2 |
fibonacci_program | VmAirWrapper<Rv32JalrAdapterAir, Rv32JalrCoreAir> | 20 |
16 |
2 |
fibonacci_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 22 |
10 |
2 |
fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 41 |
13 |
2 |
fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 25 |
11 |
2 |
fibonacci_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadSignExtendCoreAir<4, 8> | 33 |
18 |
2 |
fibonacci_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 38 |
17 |
2 |
fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 90 |
23 |
2 |
fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, LessThanCoreAir<4, 8> | 39 |
17 |
2 |
fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<4, 8> | 43 |
19 |
2 |
fibonacci_program | BitwiseOperationLookupAir<8> | 4 |
2 |
2 |
fibonacci_program | PhantomAir | 5 |
3 |
2 |
fibonacci_program | Poseidon2VmAir | 525 |
32 |
2 |
fibonacci_program | VariableRangeCheckerAir | 4 |
1 |
1 |
group | chip_name | rows_used |
---|---|---|
fibonacci_program | ProgramChip | (+67 [+1.0%]) 6,614 |
fibonacci_program | VmConnectorAir | 2 |
fibonacci_program | Boundary | 54 |
fibonacci_program | Merkle | (+2 [+0.7%]) 308 |
fibonacci_program | AccessAdapter<8> | 54 |
fibonacci_program | <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> | 3 |
fibonacci_program | RangeTupleCheckerAir<2> | 524,288 |
fibonacci_program | <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> | 11 |
fibonacci_program | <Rv32JalrAdapterAir,Rv32JalrCoreAir> | 17 |
fibonacci_program | <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> | 100,012 |
fibonacci_program | <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> | 11 |
fibonacci_program | <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> | 200,012 |
fibonacci_program | <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> | 57 |
fibonacci_program | <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> | 4 |
fibonacci_program | <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> | 300,004 |
fibonacci_program | <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> | 900,085 |
fibonacci_program | BitwiseOperationLookupAir<8> | 65,536 |
fibonacci_program | PhantomAir | 3 |
fibonacci_program | Poseidon2VmAir | (+2 [+0.6%]) 362 |
fibonacci_program | VariableRangeCheckerAir | 262,144 |
group | dsl_ir | opcode | frequency |
---|---|---|---|
fibonacci_program | ADD | 900,068 |
|
fibonacci_program | AND | 5 |
|
fibonacci_program | AUIPC | 11 |
|
fibonacci_program | BEQ | 100,005 |
|
fibonacci_program | BGEU | 3 |
|
fibonacci_program | BLT | 1 |
|
fibonacci_program | BLTU | 7 |
|
fibonacci_program | BNE | 100,007 |
|
fibonacci_program | HINT_STOREW | 3 |
|
fibonacci_program | JAL | 100,002 |
|
fibonacci_program | JALR | 17 |
|
fibonacci_program | LOADBU | 6 |
|
fibonacci_program | LOADW | 22 |
|
fibonacci_program | LUI | 10 |
|
fibonacci_program | OR | 4 |
|
fibonacci_program | PHANTOM | 3 |
|
fibonacci_program | SLL | 3 |
|
fibonacci_program | SLTU | 300,004 |
|
fibonacci_program | SRL | 1 |
|
fibonacci_program | STOREB | 1 |
|
fibonacci_program | STOREW | 28 |
|
fibonacci_program | SUB | 4 |
|
fibonacci_program | XOR | 4 |
group | air_name | dsl_ir | opcode | cells_used |
---|---|---|---|---|
fibonacci_program | <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> | ADD | 32,402,448 |
|
fibonacci_program | AccessAdapter<8> | ADD | 51 |
|
fibonacci_program | Boundary | ADD | 120 |
|
fibonacci_program | Merkle | ADD | 64 |
|
fibonacci_program | <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> | AND | 180 |
|
fibonacci_program | <Rv32RdWriteAdapterAir,Rv32AuipcCoreAir> | AUIPC | 231 |
|
fibonacci_program | AccessAdapter<8> | AUIPC | 34 |
|
fibonacci_program | Boundary | AUIPC | 80 |
|
fibonacci_program | Merkle | AUIPC | 3,456 |
|
fibonacci_program | <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> | BEQ | 2,600,130 |
|
fibonacci_program | <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> | BGEU | 96 |
|
fibonacci_program | <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> | BLT | 32 |
|
fibonacci_program | <Rv32BranchAdapterAir,BranchLessThanCoreAir<4, 8>> | BLTU | 224 |
|
fibonacci_program | <Rv32BranchAdapterAir,BranchEqualCoreAir<4>> | BNE | 2,600,182 |
|
fibonacci_program | <Rv32HintStoreAdapterAir,Rv32HintStoreCoreAir> | HINT_STOREW | 78 |
|
fibonacci_program | AccessAdapter<8> | HINT_STOREW | 17 |
|
fibonacci_program | Boundary | HINT_STOREW | 40 |
|
fibonacci_program | Merkle | HINT_STOREW | (+64 [+100.0%]) 128 |
|
fibonacci_program | <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> | JAL | 1,800,036 |
|
fibonacci_program | <Rv32JalrAdapterAir,Rv32JalrCoreAir> | JALR | 476 |
|
fibonacci_program | <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> | LOADBU | 240 |
|
fibonacci_program | <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> | LOADW | 880 |
|
fibonacci_program | AccessAdapter<8> | LOADW | 34 |
|
fibonacci_program | Boundary | LOADW | 80 |
|
fibonacci_program | Merkle | LOADW | 2,304 |
|
fibonacci_program | <Rv32CondRdWriteAdapterAir,Rv32JalLuiCoreAir> | LUI | 180 |
|
fibonacci_program | <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> | OR | 144 |
|
fibonacci_program | PhantomAir | PHANTOM | 18 |
|
fibonacci_program | <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> | SLL | 159 |
|
fibonacci_program | <Rv32BaseAluAdapterAir,LessThanCoreAir<4, 8>> | SLTU | 11,100,148 |
|
fibonacci_program | AccessAdapter<8> | SLTU | 34 |
|
fibonacci_program | Boundary | SLTU | 80 |
|
fibonacci_program | Merkle | SLTU | 64 |
|
fibonacci_program | <Rv32BaseAluAdapterAir,ShiftCoreAir<4, 8>> | SRL | 53 |
|
fibonacci_program | <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> | STOREB | 40 |
|
fibonacci_program | AccessAdapter<8> | STOREB | 17 |
|
fibonacci_program | Boundary | STOREB | 40 |
|
fibonacci_program | <Rv32LoadStoreAdapterAir,LoadStoreCoreAir<4>> | STOREW | 1,120 |
|
fibonacci_program | AccessAdapter<8> | STOREW | 272 |
|
fibonacci_program | Boundary | STOREW | 640 |
|
fibonacci_program | Merkle | STOREW | 3,776 |
|
fibonacci_program | <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> | SUB | 144 |
|
fibonacci_program | <Rv32BaseAluAdapterAir,BaseAluCoreAir<4, 8>> | XOR | 144 |
group | air_name | segment | cells | main_cols | perm_cols | prep_cols | rows |
---|---|---|---|---|---|---|---|
fibonacci_program | ProgramAir | 0 | 147,456 |
10 |
8 |
8,192 |
|
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 | 2,048 |
28 |
36 |
32 |
|
fibonacci_program | VmAirWrapper<Rv32CondRdWriteAdapterAir, Rv32JalLuiCoreAir> | 0 | 8,126,464 |
18 |
44 |
131,072 |
|
fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchLessThanCoreAir<4, 8> | 0 | 1,408 |
32 |
56 |
16 |
|
fibonacci_program | VmAirWrapper<Rv32BranchAdapterAir, BranchEqualCoreAir<4> | 0 | 19,398,656 |
26 |
48 |
262,144 |
|
fibonacci_program | VmAirWrapper<Rv32LoadStoreAdapterAir, LoadStoreCoreAir<4> | 0 | 7,168 |
40 |
72 |
64 |
|
fibonacci_program | VmAirWrapper<Rv32BaseAluAdapterAir, ShiftCoreAir<4, 8> | 0 | 420 |
53 |
52 |
4 |
|
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 | 72 |
6 |
12 |
4 |
|
fibonacci_program | Poseidon2VmAir | 0 | 321,024 |
559 |
68 |
512 |
|
fibonacci_program | VariableRangeCheckerAir | 0 | 2,359,296 |
1 |
8 |
2 |
262,144 |
group | segment | execute_and_trace_gen_time_ms | stark_prove_excluding_trace_time_ms | total_cells |
---|---|---|---|---|
fibonacci_program | 0 | (-11.0 [-6.0%]) 171.0 |
(-184.0 [-3.0%]) 5,895.0 |
197,775,316 |
Instance Type: 64cpu-linux-x64
Memory Allocator: jemalloc