feat: native compiler cleanup #1161

yi-sun · 2025-01-03T00:16:11Z

No description provided.

* feat: remove LOADW2 and STOREW2 * chore: remove LOADW2 and STOREW2 from docs * chore: rename eDSL to native * fix: benchmaks do not trigger on extensions

* chore: clean up comments in native compiler * feat: add iterator for loop * feat: convert more for loops * fix: lint * wip: zipped iterator * fix: lint * feat: iterator for loop in poseidon * feat: optimize store * fix: keep loop variable * fix: store * opt: try removing get_ref * opt: remove duplicate get * opt: remove idx * chore: remove unused code * fix: lint * feat: add ZipFor and zipped_iter * fix: lint * feat: implement zipped_iter * fix: faulty assert * fix: read * fix: lint * fix: lint * fix: vec * feat: add more zipped_iter * feat: optimize verify_batch * fix: use first array for zipped_iter * feat: add zipped_iter to hint * chore: remove print * feat: optimize hint_words * fix: lifetime issues * chore: add comment with example * feat: use square-and-multiply for exp_reverse_bits_len * fix: input size for exp_reverse_bits_len * fix: slice and shift for V::size_of() greater than 1, optimization * fix: replace incorrectly removed side effect * feat: optimize adds * feat: optimize for loops in duplex challenger * chore: use larger runner for build workflow * feat: address comments * feat: remove all but the first end ptr in ZipFor * feat: implement and use compile_zip! macro * feat: add tests for iter and zip

* feat: add vectorization to native load store circuit * chore: update comment * feat: replace LOAD/STORE immediates with ADD * fix: lint * feat: add LOADW4 STOREW4 SHINTW4 * chore: rename SHINTW -> HINT_STOREW * feat: optimize out 2 columns after removing immediates * chore: remove TODO * chore: extract opcode arrays into constants * chore: remove magic number 4 * fix: update integration tests * fix: test_vm_override_executor_height

* chore: remove unused Loop opcode * chore: remove unused exp_bits<V> function * chore: remove unused HintBitsU * chore: remove unused functions * chore: remove unused * feat: remove assert_ne from Var * fix: lint * feat: remove LessThanV, LessThanVI * chore: add comments * fix: spelling of committed * chore: remove unused get_ref * chore: remove unused get_ref * chore: remove unused ptr_at * fix: cache address * feat: remove Ref * feat: remove assert_len * fix: lint

github-actions · 2025-01-12T06:50:56Z

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(+19 [+0.5%]) 3,504	711,284	25,510,945	-	-	-
fibonacci_program	(-16 [-0.3%]) 6,051	1,500,137	51,505,102	-	-	-
regex_program	(+68 [+0.4%]) 19,064	4,190,904	165,028,173	-	-	-
fib_e2e	42,672	12,000,137	410,820,430	90,311	18,474,185	661,000,180
ecrecover_program	(+34 [+1.3%]) 2,628	285,401	15,092,297	-	-	-

Commit: 431d5ea

Benchmark Workflow