taiga icon indicating copy to clipboard operation
taiga copied to clipboard

Published 20 hours ago • verified publisher icon anoma

Requirements from proving system

Open joebebel opened this issue 3 years ago • 0 comments
trafficstars

We're currently planning on using the ZK Garage PLONK as the proving system. But we need:

  • [ ] https://github.com/ZK-Garage/plonk/issues/108
  • [x] https://github.com/ZK-Garage/plonk/issues/41
  • [ ] https://github.com/ZK-Garage/plonk/issues/81
  • [ ] Merge lookup-based BLAKE2s and Sinsemilla gadgets
  • [ ] Implement intermediate representation format
  • [ ] Implement reasonable circuit-size analysis tools

joebebel avatar Mar 14 '22 07:03 joebebel