Non-Interactive Proof Generation from Interactive Zero Knowledge Protocols

Work:

  • Designed a modular framework for Interactive Zero Knowledge Protocols which was used to convert it to a non-interactive protocol.
  • Implemented additional features for the design to support oracles, protocol composition, etc.. and tested existing protocols like Ligero on it

An abstraction of the implementation: Abstraction

Next
Previous

Related