feat: add 256-bit integer ALU e2e benchmark

[stephenh-axiom-xyz]

Resolves INT-2156 INT-2238. Adds end-to-end benchmark for 256-bit integer ALU operations as defined in the spec. Should be run automatically alongside small_e2e and tiny_e2e.

[linear]

INT-2156 ALU VM chip

We want the remaining top block of https://www.cs.sfu.ca/~ashri/ram/Courses/CS295/assets/notebooks/RISCV/RISCV_CARD.pdf

• xor
• or
• and
• sll
• srl
• sra
• slt

We already have add and sub in the existing UintArithmeticVmChip (we determined that two's complement representation means the chip implementation is the same for signed vs unsigned.)

We will want to share constraints and trace cells between as many of these opcodes as possible. This is typically done by putting everything into the same ALU (arithmetic logical unit) chip as in normal processors. The UintArithmeticVmChip should be extended & renamed for this functionality (at least for some of the opcodes).

The opcode format depends on INT-2149 — I think we should stick with the one level of indirection (to support stack+register access), but we should have a discussion.

[github-actions]

alu256_e2e

group	stark_prove_excluding_trace_time_ms	total_cells	total_cells_used	trace_gen_time_ms	verify_program_compile_ms
bench_program_inner	1,494.0	4,189,204	697,883	33.0
inner_verifier	29,683.0	320,012,308	161,048,906	9,560.0	389.0

group	chip_name	rows_used
bench_program_inner	ArithmeticLogicUnit256	288
bench_program_inner	ByteXor	65,536
bench_program_inner	Core	1,296
bench_program_inner	FieldArithmetic	1,256
bench_program_inner	FieldExtension	0
bench_program_inner	Memory	9,607
bench_program_inner	Memory 2	4,672
bench_program_inner	Memory 3	2,336
bench_program_inner	Memory 4	1,168
bench_program_inner	Memory 5	584
bench_program_inner	Memory 6	292
bench_program_inner	Memory 7	0
bench_program_inner	Poseidon2	0
bench_program_inner	Program	370
bench_program_inner	RangeChecker	131,072
bench_program_inner	Shift256	96
inner_verifier	ByteXor	65,536
inner_verifier	Core	1,585,586
inner_verifier	FieldArithmetic	769,247
inner_verifier	FieldExtension	267,400
inner_verifier	Memory	329,224
inner_verifier	Memory 2	651,775
inner_verifier	Memory 3	326,037
inner_verifier	Memory 4	16,235
inner_verifier	Memory 5	0
inner_verifier	Memory 6	0
inner_verifier	Memory 7	0
inner_verifier	Poseidon2	11,829
inner_verifier	Program	95,372
inner_verifier	RangeChecker	131,072

group	opcode	cells_used	frequency
bench_program_inner	FADD	26,946	868
bench_program_inner	STOREW	44,734	648
bench_program_inner	LOADW	29,866	484
bench_program_inner	FMUL	12,028	388
bench_program_inner	BNE	9,821	161
bench_program_inner	ADD256	78,894	64
bench_program_inner	AND256	39,008	32
bench_program_inner	EQ256	6,112	32
bench_program_inner	OR256	39,008	32
bench_program_inner	SLL256	41,056	32
bench_program_inner	SLT256	6,112	32
bench_program_inner	SLTU256	6,112	32
bench_program_inner	SRA256	41,056	32
bench_program_inner	SRL256	41,495	32
bench_program_inner	SUB256	39,447	32
bench_program_inner	XOR256	39,008	32
bench_program_inner	JAL	141	2
bench_program_inner	TERMINATE	61	1
inner_verifier	FADD	18,181,082	564,762
inner_verifier	LOADW2	28,022,286	430,420
inner_verifier	LOADW	29,119,459	422,007
inner_verifier	BNE	21,858,940	336,272
inner_verifier	FSUB	7,206,175	140,938
inner_verifier	BBE4MUL	7,655,367	135,404
inner_verifier	SHINTW	9,215,640	109,710
inner_verifier	STOREW	6,704,862	91,502
inner_verifier	STOREW2	5,546,103	71,165
inner_verifier	FE4ADD	3,963,049	68,793
inner_verifier	FMUL	2,015,832	63,461
inner_verifier	BBE4DIV	6,554,402	59,221
inner_verifier	CT_END	2,431,520	37,408
inner_verifier	CT_START	2,431,520	37,408
inner_verifier	JAL	2,074,982	31,907
inner_verifier	HINT_INPUT	632,840	9,736
inner_verifier	BEQ	521,820	8,028
inner_verifier	COMP_POS2	3,694,236	7,413
inner_verifier	PERM_POS2	2,319,592	4,416
inner_verifier	FE4SUB	601,481	3,982
inner_verifier	FDIV	4,243	86
inner_verifier	HINT_BITS	1,430	22
inner_verifier	TERMINATE	65	1

group	dsl_ir	cells_used	frequency
bench_program_inner	Alloc	48,009	1,164
bench_program_inner	ImmV	34,254	517
bench_program_inner	AddVI	13,926	448
bench_program_inner	IfEqI	7,808	128
bench_program_inner	StoreV	10,240	128
bench_program_inner	LoadV	5,913	96
bench_program_inner	For	3,146	67
bench_program_inner	Add256	78,894	64
bench_program_inner	And256	39,008	32
bench_program_inner	EqualTo256	6,112	32
bench_program_inner	LessThanI256	6,112	32
bench_program_inner	LessThanU256	6,112	32
bench_program_inner	Or256	39,008	32
bench_program_inner	ShiftLeft256	41,056	32
bench_program_inner	ShiftRightArith256	41,056	32
bench_program_inner	ShiftRightLogic256	41,495	32
bench_program_inner	Sub256	39,447	32
bench_program_inner	Xor256	39,008	32
bench_program_inner	Halt	61	1
inner_verifier	For	27,097,262	543,403
inner_verifier	SubEF	30,701,974	470,512
inner_verifier	LoadE	18,151,938	274,992
inner_verifier	StoreHintWord	12,293,692	209,002
inner_verifier	AddVI	4,519,797	145,244
inner_verifier	MulE	7,304,262	133,772
inner_verifier	LoadF	7,337,586	111,025
inner_verifier	LoadV	5,733,107	87,679
inner_verifier	IfEqI	4,754,165	73,141
inner_verifier	AddE	3,963,049	68,793
inner_verifier	Alloc	2,829,190	64,136
inner_verifier	DivE	6,547,011	59,185
inner_verifier	StoreF	3,774,492	48,532
inner_verifier	CycleTrackerEnd	2,431,520	37,408
inner_verifier	CycleTrackerStart	2,431,520	37,408
inner_verifier	MulF	1,147,199	36,977
inner_verifier	StoreV	2,242,221	26,744
inner_verifier	AddEI	1,447,112	26,332
inner_verifier	StoreE	1,883,049	23,760
inner_verifier	SubV	671,889	21,672
inner_verifier	AddFI	620,927	19,930
inner_verifier	ImmF	1,103,817	16,921
inner_verifier	ImmV	913,473	13,762
inner_verifier	HintInputVec	632,840	9,736
inner_verifier	MulVI	263,738	8,504
inner_verifier	MulEI	832,087	8,160
inner_verifier	IfEq	510,900	7,860
inner_verifier	Poseidon2CompressBabyBear	3,694,236	7,413
inner_verifier	ImmE	595,127	7,172
inner_verifier	IfNe	453,440	6,976
inner_verifier	AddV	195,567	6,308
inner_verifier	Poseidon2PermuteBabyBear	2,319,592	4,416
inner_verifier	AssertEqF	263,510	4,054
inner_verifier	SubE	601,481	3,982
inner_verifier	MulEF	71,122	1,716
inner_verifier	SubVI	53,809	1,281
inner_verifier	AssertEqV	74,295	1,143
inner_verifier	IfNeI	69,680	1,072
inner_verifier	MulV	34,043	682
inner_verifier	SubEFI	29,845	592
inner_verifier	MulEFI	29,615	544
inner_verifier	AddEFFI	39,796	524
inner_verifier	SubVIN	11,067	357
inner_verifier	SubEI	16,313	288
inner_verifier	AssertEqVI	13,910	214
inner_verifier	DivEIN	17,411	180
inner_verifier	AddEFI	8,125	152
inner_verifier	AssertEqE	10,325	140
inner_verifier	NegE	7,815	136
inner_verifier	DivFIN	4,243	86
inner_verifier	HintBitsF	1,430	22
inner_verifier	MulFI	700	14
inner_verifier	AssertEqEI	295	4
inner_verifier	Halt	65	1

group	air_name	cells	constraints	interactions	main_cols	perm_cols	prep_cols	quotient_deg	rows
bench_program_inner	CoreAir	215,040	114	19	61	44	0	2	2,048
bench_program_inner	ProgramAir	4,608	4	1	1	8	9	1	512
bench_program_inner	FieldArithmeticAir	137,216	28	15	31	36	0	2	2,048
bench_program_inner	ArithmeticLogicAir<32, 8>	223,232	187	65	172	264	0	2	512
bench_program_inner	ShiftAir<32, 8>	54,784	3,193	93	236	192	0	2	128
bench_program_inner	XorLookupAir<8>	589,824	4	1	1	8	3	1	65,536
bench_program_inner	MemoryAuditAir	573,440	21	6	19	16	0	2	16,384
bench_program_inner	AccessAdapterAir<2>	573,440	14	5	11	24	0	2	16,384
bench_program_inner	AccessAdapterAir<4>	303,104	14	5	13	24	0	2	8,192
bench_program_inner	AccessAdapterAir<8>	167,936	14	5	17	24	0	2	4,096
bench_program_inner	AccessAdapterAir<16>	100,352	14	5	25	24	0	2	2,048
bench_program_inner	AccessAdapterAir<32>	66,560	14	5	41	24	0	2	1,024
bench_program_inner	VariableRangeCheckerAir	1,179,648	4	1	1	8	2	1	131,072
bench_program_inner	VmConnectorAir	20	4	2	2	8	1	2	2
inner_verifier	CoreAir	178,257,920	112	19	65	20	0	8	2,097,152
inner_verifier	ProgramAir	1,179,648	4	1	1	8	9	1	131,072
inner_verifier	FieldArithmeticAir	49,283,072	23	15	31	16	0	8	1,048,576
inner_verifier	FieldExtensionArithmeticAir	29,884,416	23	15	41	16	0	8	524,288
inner_verifier	Poseidon2VmAir	7,307,264	373	32	418	28	0	8	16,384
inner_verifier	XorLookupAir<8>	589,824	4	1	1	8	3	1	65,536
inner_verifier	MemoryAuditAir	14,155,776	19	6	19	8	0	8	524,288
inner_verifier	AccessAdapterAir<2>	24,117,248	11	5	11	12	0	4	1,048,576
inner_verifier	AccessAdapterAir<4>	13,107,200	11	5	13	12	0	4	524,288
inner_verifier	AccessAdapterAir<8>	950,272	11	5	17	12	0	4	32,768
inner_verifier	VariableRangeCheckerAir	1,179,648	4	1	1	8	2	1	131,072
inner_verifier	VmConnectorAir	20	4	2	2	8	1	2	2

Flamegraphs: link
Commit: 56c9642
AWS Instance Type: r7g.16xlarge
Benchmark Workflow

[github-actions]

small_e2e

group	stark_prove_excluding_trace_time_ms	total_cells	total_cells_used	trace_gen_time_ms	verify_program_compile_ms
bench_program_inner	1,205.0 (-14.0 [-1.1%])	1,915,681	277,324	2.0
inner_verifier	68,034.0 (+412.0 [+0.6%])	712,704,020	384,664,798	22,415.0 (-12.0 [-0.1%])	45,011.0 (+828.0 [+1.9%])

group	chip_name	rows_used
bench_program_inner	ByteXor	65,536
bench_program_inner	Core	28
bench_program_inner	FieldArithmetic	13
bench_program_inner	FieldExtension	1
bench_program_inner	Keccak256	24
bench_program_inner	Memory	65
bench_program_inner	Memory 2	26
bench_program_inner	Memory 3	13
bench_program_inner	Memory 4	5
bench_program_inner	Memory 5	0
bench_program_inner	Memory 6	0
bench_program_inner	Memory 7	0
bench_program_inner	Program	37
bench_program_inner	RangeChecker	131,072
inner_verifier	ByteXor	65,536
inner_verifier	Core	3,795,180
inner_verifier	FieldArithmetic	1,556,016
inner_verifier	FieldExtension	843,140
inner_verifier	Memory	622,614
inner_verifier	Memory 2	1,941,507
inner_verifier	Memory 3	970,798
inner_verifier	Memory 4	33,096
inner_verifier	Memory 5	0
inner_verifier	Memory 6	0
inner_verifier	Memory 7	0
inner_verifier	Poseidon2	20,103
inner_verifier	Program	203,951
inner_verifier	RangeChecker	131,072

group	opcode	cells_used	frequency
bench_program_inner	STOREW	1,261	16
bench_program_inner	FADD	398	11
bench_program_inner	BNE	305	5
bench_program_inner	FMUL	62	2
bench_program_inner	JAL	141	2
bench_program_inner	LOADW	160	2
bench_program_inner	STOREW2	160	2
bench_program_inner	FE4ADD	222	1
bench_program_inner	KECCAK256	77,909	1
bench_program_inner	TERMINATE	61	1
inner_verifier	LOADW	87,100,210	1,260,708
inner_verifier	LOADW2	75,488,042	1,160,670
inner_verifier	FADD	35,978,188	1,102,311
inner_verifier	BNE	44,154,130	679,276
inner_verifier	BBE4MUL	19,391,441	410,568
inner_verifier	FSUB	21,905,252	404,858
inner_verifier	FE4ADD	13,116,742	223,739
inner_verifier	SHINTW	17,010,000	202,500
inner_verifier	BBE4DIV	21,624,568	194,997
inner_verifier	STOREW2	10,480,942	136,182
inner_verifier	CT_END	6,781,775	104,335
inner_verifier	CT_START	6,781,775	104,335
inner_verifier	STOREW	7,506,644	102,479
inner_verifier	FMUL	1,577,266	48,775
inner_verifier	JAL	1,779,461	27,362
inner_verifier	FE4SUB	2,266,554	13,836
inner_verifier	PERM_POS2	6,581,308	12,879
inner_verifier	HINT_INPUT	615,615	9,471
inner_verifier	BEQ	509,535	7,839
inner_verifier	COMP_POS2	3,609,753	7,224
inner_verifier	FDIV	3,543	72
inner_verifier	HINT_BITS	1,430	22
inner_verifier	TERMINATE	65	1

group	dsl_ir	cells_used	frequency
bench_program_inner	ImmE	640	8
bench_program_inner	For	386	7
bench_program_inner	AddVI	224	6
bench_program_inner	Alloc	284	6
bench_program_inner	ImmV	221	3
bench_program_inner	IfEqI	122	2
bench_program_inner	ImmF	160	2
bench_program_inner	StoreV	160	2
bench_program_inner	AddE	222	1
bench_program_inner	AddF	50	1
bench_program_inner	Halt	61	1
bench_program_inner	Keccak256	77,909	1
inner_verifier	SubEF	101,581,058	1,556,784
inner_verifier	For	54,288,151	1,111,262
inner_verifier	LoadE	55,474,732	841,632
inner_verifier	MulE	18,833,106	408,006
inner_verifier	StoreHintWord	22,972,757	394,847
inner_verifier	LoadF	20,466,431	313,168
inner_verifier	AddVI	8,429,537	271,372
inner_verifier	AddE	13,116,742	223,739
inner_verifier	DivE	21,618,439	194,967
inner_verifier	IfEqI	8,454,290	130,066
inner_verifier	StoreF	8,749,315	114,189
inner_verifier	CycleTrackerEnd	6,781,775	104,335
inner_verifier	CycleTrackerStart	6,781,775	104,335
inner_verifier	LoadV	4,845,943	74,073
inner_verifier	AddEI	3,822,487	66,780
inner_verifier	Alloc	2,735,539	62,001
inner_verifier	StoreV	2,120,421	25,294
inner_verifier	StoreE	1,781,913	22,392
inner_verifier	MulF	688,123	22,173
inner_verifier	ImmV	1,421,466	21,584
inner_verifier	ImmF	950,601	14,565
inner_verifier	SubV	434,925	14,028
inner_verifier	SubE	2,266,554	13,836
inner_verifier	Poseidon2PermuteBabyBear	6,581,308	12,879
inner_verifier	MulEI	1,313,667	12,810
inner_verifier	AddFI	389,002	12,451
inner_verifier	ImmE	1,029,575	12,344
inner_verifier	HintInputVec	615,615	9,471
inner_verifier	MulVI	256,143	8,259
inner_verifier	Poseidon2CompressBabyBear	3,609,753	7,224
inner_verifier	IfNe	449,410	6,914
inner_verifier	IfEq	400,270	6,158
inner_verifier	AddV	185,399	5,980
inner_verifier	AssertEqF	263,510	4,054
inner_verifier	MulEF	68,722	1,668
inner_verifier	MulEFI	73,985	1,444
inner_verifier	SubEFI	64,480	1,284
inner_verifier	SubVI	53,590	1,277
inner_verifier	AssertEqV	73,385	1,129
inner_verifier	IfNeI	61,490	946
inner_verifier	MulV	34,043	682
inner_verifier	AddEFFI	38,452	508
inner_verifier	SubVIN	11,067	357
inner_verifier	SubEI	13,388	240
inner_verifier	AssertEqVI	12,220	188
inner_verifier	NegE	10,635	184
inner_verifier	AddEFI	8,655	164
inner_verifier	DivEIN	14,475	150
inner_verifier	AssertEqE	9,735	132
inner_verifier	DivFIN	3,543	72
inner_verifier	HintBitsF	1,430	22
inner_verifier	MulFI	600	12
inner_verifier	AssertEqEI	295	4
inner_verifier	Halt	65	1

group	air_name	cells	constraints	interactions	main_cols	perm_cols	prep_cols	quotient_deg	rows
bench_program_inner	CoreAir	3,360	114	19	61	44	0	2	32
bench_program_inner	ProgramAir	576	4	1	1	8	9	1	64
bench_program_inner	FieldArithmeticAir	1,072	28	15	31	36	0	2	16
bench_program_inner	FieldExtensionArithmeticAir	77	28	15	41	36	0	2	1
bench_program_inner	KeccakVmAir	132,544	2,251	235	3,198	944	0	2	32
bench_program_inner	XorLookupAir<8>	589,824	4	1	1	8	3	1	65,536
bench_program_inner	MemoryAuditAir	4,480	21	6	19	16	0	2	128
bench_program_inner	AccessAdapterAir<2>	2,240	14	5	11	24	0	2	64
bench_program_inner	AccessAdapterAir<4>	1,184	14	5	13	24	0	2	32
bench_program_inner	AccessAdapterAir<8>	656	14	5	17	24	0	2	16
bench_program_inner	VariableRangeCheckerAir	1,179,648	4	1	1	8	2	1	131,072
bench_program_inner	VmConnectorAir	20	4	2	2	8	1	2	2
inner_verifier	CoreAir	356,515,840	112	19	65	20	0	8	4,194,304
inner_verifier	ProgramAir	2,359,296	4	1	1	8	9	1	262,144
inner_verifier	FieldArithmeticAir	98,566,144	23	15	31	16	0	8	2,097,152
inner_verifier	FieldExtensionArithmeticAir	59,768,832	23	15	41	16	0	8	1,048,576
inner_verifier	Poseidon2VmAir	14,614,528	373	32	418	28	0	8	32,768
inner_verifier	XorLookupAir<8>	589,824	4	1	1	8	3	1	65,536
inner_verifier	MemoryAuditAir	28,311,552	19	6	19	8	0	8	1,048,576
inner_verifier	AccessAdapterAir<2>	96,468,992	11	5	11	12	0	4	4,194,304
inner_verifier	AccessAdapterAir<4>	52,428,800	11	5	13	12	0	4	2,097,152
inner_verifier	AccessAdapterAir<8>	1,900,544	11	5	17	12	0	4	65,536
inner_verifier	VariableRangeCheckerAir	1,179,648	4	1	1	8	2	1	131,072
inner_verifier	VmConnectorAir	20	4	2	2	8	1	2	2

Flamegraphs: link
Commit: 56c9642
AWS Instance Type: r7g.16xlarge
Benchmark Workflow

[github-actions]

vm_verify_fibair

stark_prove_excluding_trace_time_ms	total_cells	total_cells_used	trace_gen_time_ms	verify_program_compile_ms
8,177.0 (-38.0 [-0.5%])	67,641,364	27,527,369 (-2,144 [-0.0%])	1,730.0 (-20.0 [-1.1%])	34.0

chip_name	rows_used
ByteXor	65,536
Core	290,797 (-23 [-0.0%])
FieldArithmetic	140,489 (-39 [-0.0%])
FieldExtension	7,486
Memory	97,965
Memory 2	40,635 (+32 [+0.1%])
Memory 3	20,319 (+16 [+0.1%])
Memory 4	3,851
Memory 5	0
Memory 6	0
Memory 7	0
Poseidon2	2,613
Program	36,703
RangeChecker	131,072

opcode	cells_used	frequency
FADD	3,607,252 (-929 [-0.0%])	113,072 (-39 [-0.0%])
STOREW	5,470,066	71,082
BNE	4,232,825	65,066
LOADW	3,146,152	45,729
LOADW2	2,409,493	36,297
SHINTW	2,257,164	26,871
STOREW2	1,554,571	19,809
FMUL	647,825	18,520
JAL	745,364 (-1,495 [-0.2%])	11,465 (-23 [-0.2%])
FSUB	375,784	8,894
HINT_INPUT	262,080	4,032
CT_END	247,455	3,807
CT_START	247,455	3,807
BBE4MUL	200,390 (+280 [+0.1%])	3,451
BEQ	177,450	2,730
COMP_POS2	1,010,000	2,000
FE4ADD	107,859	1,630
BBE4DIV	105,533	1,203
FE4SUB	119,942	1,202
PERM_POS2	362,675	613
HINT_BITS	6,565	101
FDIV	93	3
TERMINATE	65	1

dsl_ir	cells_used	frequency
For	5,171,987	97,737
StoreHintWord	2,868,112	46,579
StoreE	3,060,752	36,828
AddVI	1,153,676	35,232
Alloc	1,529,794	34,980
LoadV	1,878,982	27,958
LoadE	1,298,465	18,836
LoadF	1,142,617	16,585
IfEqI	869,245 (-1,495 [-0.2%])	13,373 (-23 [-0.2%])
ImmV	900,014	12,842
StoreV	1,003,675	12,540
StoreF	864,732	10,448
ImmF	461,083	7,036
SubEF	419,063	6,420
AddEI	215,404 (+280 [+0.1%])	5,664
AssertEqF	318,565	4,901
HintInputVec	262,080	4,032
CycleTrackerEnd	247,455	3,807
CycleTrackerStart	247,455	3,807
SubVI	178,943	3,789
AssertEqV	229,775	3,535
MulE	194,431 (+280 [+0.1%])	3,418
MulV	156,493	3,131
SubV	96,157	3,100
AddFI	88,357 (-1,209 [-1.3%])	2,830 (-39 [-1.4%])
MulVI	80,800	2,604
MulF	68,343	2,204
IfNe	138,840	2,136
ImmE	134,096	2,008
Poseidon2CompressBabyBear	1,010,000	2,000
AddV	56,067	1,808
AddE	107,859	1,630
MulEF	63,959	1,608
DivE	105,457	1,202
SubE	119,942	1,202
IfEq	46,930	722
Poseidon2PermuteBabyBear	362,675	613
IfNeI	39,065	601
AddEFFI	34,916	512
AssertEqE	29,795	404
SubVIN	12,400	400
MulEI	15,572	165
HintBitsF	6,565	101
AssertEqVI	2,080	32
SubEI	318	8
DivEIN	347	5
AssertEqEI	260	4
DivFIN	93	3
Halt	65	1
MulFI	50	1

air_name	cells	constraints	interactions	main_cols	perm_cols	prep_cols	quotient_deg	rows
CoreAir	44,564,480	112	19	65	20	0	8	524,288
ProgramAir	589,824	4	1	1	8	9	1	65,536
FieldArithmeticAir	12,320,768	23	15	31	16	0	8	262,144
FieldExtensionArithmeticAir	466,944	23	15	41	16	0	8	8,192
Poseidon2VmAir	1,826,816	373	32	418	28	0	8	4,096
XorLookupAir<8>	589,824	4	1	1	8	3	1	65,536
MemoryAuditAir	3,538,944	19	6	19	8	0	8	131,072
AccessAdapterAir<2>	1,507,328	11	5	11	12	0	4	65,536
AccessAdapterAir<4>	819,200	11	5	13	12	0	4	32,768
AccessAdapterAir<8>	237,568	11	5	17	12	0	4	8,192
VariableRangeCheckerAir	1,179,648	4	1	1	8	2	1	131,072
VmConnectorAir	20	4	2	2	8	1	2	2

Flamegraphs: link
Commit: 56c9642
AWS Instance Type: r7g.8xlarge
Benchmark Workflow

[github-actions]

tiny_e2e

group	stark_prove_excluding_trace_time_ms	total_cells	total_cells_used	trace_gen_time_ms
fibonacci_program_inner	706.0 (-9.0 [-1.3%])	1,782,300	200,526	0.0

group	chip_name	rows_used
fibonacci_program_inner	ByteXor	65,536
fibonacci_program_inner	Core	6
fibonacci_program_inner	FieldArithmetic	90
fibonacci_program_inner	Memory	35
fibonacci_program_inner	Memory 2	0
fibonacci_program_inner	Memory 3	0
fibonacci_program_inner	Memory 4	0
fibonacci_program_inner	Memory 5	0
fibonacci_program_inner	Memory 6	0
fibonacci_program_inner	Memory 7	0
fibonacci_program_inner	Program	97
fibonacci_program_inner	RangeChecker	131,072

group	opcode	cells_used	frequency
fibonacci_program_inner	FADD	3,360	90
fibonacci_program_inner	STOREW	320	4
fibonacci_program_inner	JAL	80	1
fibonacci_program_inner	TERMINATE	61	1

group	dsl_ir	cells_used	frequency
fibonacci_program_inner	AddFI	2,430	60
fibonacci_program_inner	AddF	930	30
fibonacci_program_inner	ImmF	160	2
fibonacci_program_inner	Halt	61	1

group	air_name	cells	constraints	interactions	main_cols	perm_cols	prep_cols	quotient_deg	rows
fibonacci_program_inner	CoreAir	840	114	19	61	44	0	2	8
fibonacci_program_inner	ProgramAir	1,152	4	1	1	8	9	1	128
fibonacci_program_inner	FieldArithmeticAir	8,576	28	15	31	36	0	2	128
fibonacci_program_inner	XorLookupAir<8>	589,824	4	1	1	8	3	1	65,536
fibonacci_program_inner	MemoryAuditAir	2,240	21	6	19	16	0	2	64
fibonacci_program_inner	VariableRangeCheckerAir	1,179,648	4	1	1	8	2	1	131,072
fibonacci_program_inner	VmConnectorAir	20	4	2	2	8	1	2	2

Flamegraphs: link
Commit: 56c9642
AWS Instance Type: r7g.16xlarge
Benchmark Workflow

[linear]

INT-2238 ALU benchmark