Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Basefold use the same transcript as Ceno. #160

Closed
yczhangsjtu opened this issue Aug 22, 2024 · 0 comments · Fixed by #201
Closed

Basefold use the same transcript as Ceno. #160

yczhangsjtu opened this issue Aug 22, 2024 · 0 comments · Fixed by #201

Comments

@yczhangsjtu
Copy link
Collaborator

yczhangsjtu commented Aug 22, 2024 •
edited
Loading

#66 (comment)
dreamATD pushed a commit that referenced this issue Sep 10, 2024
@yczhangsjtu
Migrate transcript to that of Ceno (#201)
cffe85f 
Currently, BaseFold is using its standalone transcript. This PR migrates
it to use Ceno. The changes include:

- Define several structures (e.g., `SumcheckProof`, `BaseFoldProof`) to
store the proof, which was originally stored in the transcript and
parsed by the verifier as byte array.
- Remove all the "read from transcript" methods as they become useless.
- Replace all the "read from transcript" logic from verifier by "read
from proof structure" then "write to transcript".

#30 
#160
@dreamATD dreamATD linked a pull request Sep 11, 2024 that will close this issue
Migrate transcript to that of Ceno #201
Merged
hero78119 pushed a commit that referenced this issue Sep 30, 2024
@yczhangsjtu @hero78119
Migrate transcript to that of Ceno (#201)
2a74a6c 
Currently, BaseFold is using its standalone transcript. This PR migrates
it to use Ceno. The changes include:

- Define several structures (e.g., `SumcheckProof`, `BaseFoldProof`) to
store the proof, which was originally stored in the transcript and
parsed by the verifier as byte array.
- Remove all the "read from transcript" methods as they become useless.
- Replace all the "read from transcript" logic from verifier by "read
from proof structure" then "write to transcript".

#30 
#160
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Migrate transcript to that of Ceno scroll-tech/ceno
2 participants
@yczhangsjtu @dreamATD