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.

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

feat: support halo2 proof encoding #203

Merged
merged 7 commits into from
Dec 18, 2023

Conversation

chokobole
Copy link
Contributor

Description

Halo2 encodes point with a compression making use of a spare bit of base field. But our copyable was a just memory copy including y and infinity flag. To match with an outcome of Halo2 and furthermore support various encoding scheme, Transcript class delegates encoding to a child class

tachyon/base/buffer/string_buffer.h Outdated Show resolved Hide resolved
tachyon/base/buffer/vector_buffer.h Outdated Show resolved Hide resolved
@chokobole chokobole force-pushed the feat/support-halo2-proof-encoding branch from 71f78c3 to 9a70ca3 Compare December 15, 2023 10:43
Copy link
Contributor

@fakedev9999 fakedev9999 left a comment

Choose a reason for hiding this comment

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

LGTM

Copy link
Contributor

@dongchangYoo dongchangYoo left a comment

Choose a reason for hiding this comment

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

LGTM

@chokobole chokobole force-pushed the feat/support-halo2-proof-encoding branch from 9a70ca3 to 6d3b60c Compare December 16, 2023 13:40
Copy link
Contributor

@Insun35 Insun35 left a comment

Choose a reason for hiding this comment

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

Plz check the CI failure. Else, Looks good to me.

@chokobole chokobole force-pushed the feat/support-halo2-proof-encoding branch 2 times, most recently from 874a910 to e130452 Compare December 17, 2023 12:48
chokobole and others added 3 commits December 17, 2023 22:14
Halo2 encodes point with a compression making use of a spare bit of base
field. But our copyable was a just memory copy including y and infinity
flag. To match with an outcome of Halo2 and furthermore support various
encoding scheme, `Transcript` class delegates encoding to a child class.
@chokobole chokobole force-pushed the feat/support-halo2-proof-encoding branch from e130452 to 74573b5 Compare December 17, 2023 13:14
@dongchangYoo dongchangYoo merged commit 7717175 into main Dec 18, 2023
3 checks passed
@dongchangYoo dongchangYoo deleted the feat/support-halo2-proof-encoding branch December 18, 2023 01:06
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.

4 participants