Skip to content

Conversation

@sai-deng
Copy link
Contributor

Create a new prover using the multi-STARK approach to generate a single unified proof for all circuit tables. The old MultiTableProver will be removed once the new recursion circuit is ready and we've validated the new implementation.

@sai-deng sai-deng requested review from 4l0n50 and LindaGuiga and removed request for LindaGuiga October 29, 2025 00:10
@sai-deng sai-deng self-assigned this Oct 29, 2025
@sai-deng sai-deng marked this pull request as ready for review October 29, 2025 00:10
@sai-deng sai-deng changed the title [wip] add multi_stark prover Add multi_stark prover Oct 29, 2025
@sai-deng sai-deng changed the title Add multi_stark prover Add batch stark prover Oct 29, 2025
Copy link
Contributor

@4l0n50 4l0n50 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM modulo some small nit. But maybe it's me misunderstanding something, so I'm approving this anyway.

@github-project-automation github-project-automation bot moved this from Todo to Ready to be merged in Plonky3 Recursion Oct 31, 2025
@sai-deng sai-deng merged commit e94479d into main Nov 3, 2025
8 checks passed
@sai-deng sai-deng deleted the sai/multi-stark branch November 3, 2025 23:27
@github-project-automation github-project-automation bot moved this from Ready to be merged to Done in Plonky3 Recursion Nov 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants