Skip to content

Conversation

@matthiasgoergens
Copy link
Contributor

Suggestions for #799

Feel free to pick and choose from the suggestions. I talk about most of them on your PR.

@matthiasgoergens matthiasgoergens changed the base branch from master to tianyi/refactor-prover January 2, 2025 09:43
Copy link
Collaborator

@dreamATD dreamATD left a comment

Choose a reason for hiding this comment

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

Thanks, it makes it more dry!

@dreamATD dreamATD merged commit 8eae72b into tianyi/refactor-prover Jan 6, 2025
3 of 4 checks passed
@dreamATD dreamATD deleted the matthias/tianyi/refactor-prover branch January 6, 2025 07:39
dreamATD added a commit that referenced this pull request Jan 15, 2025
Suggestions for #799

Feel free to pick and choose from the suggestions. I talk about most of
them on your PR.

---------

Co-authored-by: dreamATD <[email protected]>
dreamATD added a commit that referenced this pull request Feb 19, 2025
Suggestions for #799

Feel free to pick and choose from the suggestions. I talk about most of
them on your PR.

---------

Co-authored-by: dreamATD <[email protected]>
dreamATD added a commit that referenced this pull request Mar 22, 2025
Suggestions for #799

Feel free to pick and choose from the suggestions. I talk about most of
them on your PR.

---------

Co-authored-by: dreamATD <[email protected]>
dreamATD added a commit that referenced this pull request Mar 22, 2025
Remove buffers and replace the underlying util functions.

Add comments and fix some tiny bugs

Suggestions for 'Frontend and backend for building circuits' (#801)

Suggestions for #799

Feel free to pick and choose from the suggestions. I talk about most of
them on your PR.

---------

Co-authored-by: dreamATD <[email protected]>

Refine according to comments

refine the protocol prover and verifier structs

Add more comments

Tiny fix according to the latest comments.
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.

3 participants