test: implement the protocol batch kernel in Rust - #1242

Merged

bitwalker merged 12 commits into

nextfrom

i1158-batch-kernel

Aug 1, 2026

Commits on Jul 31, 2026

test: implement the protocol batch kernel in Rust as a compiler fixture
greenhat
committed
c7c3ed5
test: track batch kernel package size and execution cycles
greenhat
committed
1fe172e
perf(batch-kernel): unroll word_lt into straight-line felt comparisons
greenhat
committed
9473a96
perf(batch-kernel): keep piped advice data as flat felt buffers
greenhat
committed
d2f4b8f
perf(batch-kernel): force-inline the hot lookup and accessor helpers
greenhat
committed
a14a7b8
test: refresh batch kernel pins for the element-space memory fast path
greenhat
committed
e02a778
perf(sdk): inline the advice pipe wrappers
greenhat
committed
c5c6a8b
perf(batch-kernel): share one buffer for the parallel note flag arrays
greenhat
committed
b26ad86
test: track batch kernel cycles in every scenario
greenhat
committed
2a65398
fix(sdk): keep the advice pipe wrappers outlined
greenhat
committed
c720ca0
perf(batch-kernel): reduce indexing work
greenhat
committed
41e052f
test: port the batch kernel test to the migrated executor API and refresh pins
greenhat
committed
ce2c73c