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

zktype - TS types for circom #2

Open
7 of 10 tasks
Arvolear opened this issue Apr 13, 2024 · 0 comments
Open
7 of 10 tasks

zktype - TS types for circom #2

Arvolear opened this issue Apr 13, 2024 · 0 comments
Assignees
@KyrylR
Labels
feature New feature or request roadmap In the roadmap

Comments

@Arvolear
Copy link
Member

Arvolear commented Apr 13, 2024 •
edited
Loading

Generation of TypeScript bindings for Circom circuits.

  • Basic project design and structure
  • AST outputs parsing
  • Generation of Circom ABI
  • Generation of TypeScript interfaces via ABI for both witnesses and proofs inputs
  • Handle naming collision cases
  • Autogeneration of zkit wrapper objects to provide types abstraction
  • hardhat-zkit runtime extension to overload typization
  • ABI generation for all the templates
  • Typization of createCircuit() method
  • Runtime typization
@Arvolear Arvolear converted this from a draft issue Apr 13, 2024
@Arvolear Arvolear added feature New feature or request roadmap In the roadmap labels Apr 13, 2024
@Arvolear Arvolear changed the title zktype - TS types for circom zktype - TS types for circom Jun 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@KyrylR KyrylR

Labels
feature New feature or request roadmap In the roadmap
Projects
Solarity Roadmap
Status: 👻 Q4 2024
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Arvolear @KyrylR