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(zk): enable pkey generation #198

Merged
merged 6 commits into from
Dec 12, 2023
Merged

Conversation

chokobole
Copy link
Contributor

Description

This PR implements keygen_pkxxx, while achieving both reducing code duplication and enhancing memory efficiency.

For reducing code duplication, it tries to share codes between ProvingKey and VerifyingKey by moving some shared parts to a parent class Key.

For enhancing memory efficiency, unlike Halo2, while computing l_first, l_last and l_active_row, it uses a single evaluations and recycles it.

@dongchangYoo
Copy link
Contributor

I think it would be more natural for tachyon/zk/plonk/circuit/assembly.h to be located in tachyon/zk/plonk/keys/assembly.h

@chokobole chokobole force-pushed the feat/enable-pkey-generation branch from f11e8c3 to 3a1b43c Compare December 12, 2023 09:36
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

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.

Else, LGTM

tachyon/zk/plonk/keys/proving_key.h Outdated Show resolved Hide resolved
@chokobole chokobole force-pushed the feat/enable-pkey-generation branch from 3a1b43c to ffe16f1 Compare December 12, 2023 13:42
@chokobole chokobole force-pushed the feat/enable-pkey-generation branch from ffe16f1 to f77a70d Compare December 12, 2023 15:38
@chokobole chokobole merged commit 97034d6 into main Dec 12, 2023
3 checks passed
@chokobole chokobole deleted the feat/enable-pkey-generation branch December 12, 2023 15:53
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