test(stm): add property tests for the IVC pure helpers - #3535

Open

hjeljeli32 wants to merge 19 commits into

mainfrom

hjeljeli32/3469-ivc-helper-property-tests

Commits on Sep 14, 2026

test(stm): add property tests for the accumulator and MSM byte codec
hjeljeli32
committed
b5f5b13
fix(stm): reject an MSM whose base and scalar counts disagree
hjeljeli32
committed
574db8f
fix(stm): size the fixed-base key buffer from the bytes available
hjeljeli32
committed
f6c4e56
fix(stm): return end of input for a truncated point payload
hjeljeli32
committed
2a7ab7c
test(stm): pin the preimage accessors to their own byte ranges
hjeljeli32
committed
496fd6a
test(stm): pin the rigid preimage layout and decode, retiring the examples they subsume
hjeljeli32
committed
01c1c83
test(stm): pin every next-state field to its declared source under both transitions
hjeljeli32
committed
175b008
test(stm): pin the epoch relation that selects the transition type
hjeljeli32
committed
bf05bfb
test(stm): pin the protocol parameter promotion guard truth table
hjeljeli32
committed
1ab5676
test(stm): pin the aggregate key codec round trips and the rigid slot layout
hjeljeli32
committed
1e8d5d6
fix(stm): stop the legacy aggregate key decoder reinterpreting its root
hjeljeli32
committed
7b94d96
test(stm): pin every encoding the input message check accepts and rejects
hjeljeli32
committed
812722f
test(stm): pin every state public input row to its own field value
hjeljeli32
committed
12208a7
test(stm): pin the structure of the trivial accumulator
hjeljeli32
committed
a36498c
test(stm): pin both fixed-base guards across sides and label categories
hjeljeli32
committed
42fbbef
test(stm): pin every rolling state component through the ancillary prover data codec
hjeljeli32
committed
8a6e567
test(stm): pin the verifier data genesis message and its version prefix guard
hjeljeli32
committed
eb228b4
test(stm): pin the protocol message digest to independently computed vectors
hjeljeli32
committed
cb1404f
test(stm): take the default proptest case count and trim the review comments
hjeljeli32
committed
ef49dfd

Navigation Menu

Uh oh!

test(stm): add property tests for the IVC pure helpers - #3535

test(stm): add property tests for the IVC pure helpers#3535
hjeljeli32 wants to merge 19 commits into
mainfrom
hjeljeli32/3469-ivc-helper-property-tests

Commits on Sep 14, 2026

test(stm): add property tests for the accumulator and MSM byte codec

fix(stm): reject an MSM whose base and scalar counts disagree

fix(stm): size the fixed-base key buffer from the bytes available

fix(stm): return end of input for a truncated point payload

test(stm): pin the preimage accessors to their own byte ranges

test(stm): pin the rigid preimage layout and decode, retiring the examples they subsume

test(stm): pin every next-state field to its declared source under both transitions

test(stm): pin the epoch relation that selects the transition type

test(stm): pin the protocol parameter promotion guard truth table

test(stm): pin the aggregate key codec round trips and the rigid slot layout

fix(stm): stop the legacy aggregate key decoder reinterpreting its root

test(stm): pin every encoding the input message check accepts and rejects

test(stm): pin every state public input row to its own field value

test(stm): pin the structure of the trivial accumulator

test(stm): pin both fixed-base guards across sides and label categories

test(stm): pin every rolling state component through the ancillary prover data codec

test(stm): pin the verifier data genesis message and its version prefix guard

test(stm): pin the protocol message digest to independently computed vectors

test(stm): take the default proptest case count and trim the review comments