taiga icon indicating copy to clipboard operation
taiga copied to clipboard

Published 20 hours ago • verified publisher icon anoma

High level compilation of VPs

Open joebebel opened this issue 3 years ago • 0 comments

At first, we're implementing all VPs in "Rust" (using ark-plonk gadgets directly). It would be nice to have at least one example of a VP written in a high level language compiled to circuit, and provide the necessary interfaces.

  • [ ] Interface with PLT team on feasibility/implementation
  • [ ] Write an example (proof of concept)
  • [ ] Rewrite all example VPs (#2) in Juvix

joebebel avatar Dec 09 '21 09:12 joebebel