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

Add automatic C-based witness generation + tachyon prover for arbitrary circom #63

Open
Divide-By-0 opened this issue Apr 30, 2023 · 0 comments
Open

Add automatic C-based witness generation + tachyon prover for arbitrary circom #63

Divide-By-0 opened this issue Apr 30, 2023 · 0 comments
Labels
medium

Comments

@Divide-By-0
Copy link
Member

Divide-By-0 commented Apr 30, 2023 •
edited

Needed for users to create new circuits.

This might be easiest as a fork/PR to zkrepl.dev, so that it's one click to start the 3 hour process of generating and making these files. We should be able to target specific architectures for the binaries via for instance passing -march=icelake-server -mtune=icelake-server to the C compiler, or target unknown in rust.

Ask me for the docker image for rapidsnark.
@Divide-By-0 Divide-By-0 changed the title Add automatic C-based witness generation + rapidsnark prover for arbitrary circom Add automatic C-based witness generation + TACHYON prover for arbitrary circom May 28, 2024
@Divide-By-0 Divide-By-0 changed the title Add automatic C-based witness generation + TACHYON prover for arbitrary circom Add automatic C-based witness generation + tachyon prover for arbitrary circom May 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
medium
Projects
ZK Email Projects
Status: No status
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Divide-By-0