Skip to content

2/3 Serialize trace proving inputs - #3314

Open
huitseeker wants to merge 10 commits into
nextfrom
trace-proving-inputs-serialization-core
Open

2/3 Serialize trace proving inputs#3314
huitseeker wants to merge 10 commits into
nextfrom
trace-proving-inputs-serialization-core

Conversation

@huitseeker

Copy link
Copy Markdown
Collaborator

Part of #3235.

This PR serializes trusted trace proving inputs for remote proving.

It writes the trace generation context, sparse MAST forest store, replay data, proving options, and precompile transcript state.

Readers check the stored shape before use, including fragment size, stack depth, and MAST forest IDs.

This PR does not add fuzz targets or proptest coverage.

@huitseeker
huitseeker marked this pull request as draft June 30, 2026 23:24
@huitseeker huitseeker added this to the v0.25.0 milestone Jun 30, 2026
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch from adedc1a to 5554513 Compare June 30, 2026 23:25
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch from a44ea0b to 1391b6a Compare July 1, 2026 01:29
@huitseeker
huitseeker marked this pull request as ready for review July 1, 2026 01:54
@huitseeker
huitseeker requested a review from bobbinth July 1, 2026 13:02
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch from 1391b6a to f4074a5 Compare July 3, 2026 21:12
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch from f4074a5 to 3074ebc Compare July 3, 2026 23:54
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch from 42e8e71 to f88a029 Compare July 10, 2026 19:12
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch from f88a029 to e42f07b Compare July 11, 2026 01:05
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch 3 times, most recently from 16ae066 to 91a9741 Compare July 11, 2026 21:31
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch from 91a9741 to b680958 Compare July 13, 2026 14:10
Base automatically changed from trace-proving-inputs-sparse-mast-serialization to next July 13, 2026 14:16
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch 6 times, most recently from a169c94 to e92c603 Compare July 17, 2026 19:45
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch 7 times, most recently from 61cdbf8 to a6845fb Compare July 25, 2026 20:02
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch from a6845fb to 7edc346 Compare July 28, 2026 13:50
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch 6 times, most recently from db33ecb to c2c6a99 Compare August 4, 2026 15:55
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch 2 times, most recently from edacd0e to a7c26d5 Compare August 5, 2026 17:33
@huitseeker
huitseeker force-pushed the trace-proving-inputs-serialization-core branch from a7c26d5 to a382dd2 Compare August 7, 2026 18:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant