Skip to content

Sp1 batch prove#566

Merged
anylots merged 37 commits intomainfrom
sp1-batch-dev
Oct 11, 2024
Merged

Sp1 batch prove#566
anylots merged 37 commits intomainfrom
sp1-batch-dev

Conversation

@anylots
Copy link
Copy Markdown
Contributor

@anylots anylots commented Oct 10, 2024

Prove batch use Sp1.

@anylots anylots requested a review from chengwenxi October 11, 2024 02:35
@anylots anylots merged commit 90d6b31 into main Oct 11, 2024
@anylots anylots deleted the sp1-batch-dev branch October 11, 2024 04:07
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.

2 participants