Sonic proving system

This library is an implementation of Sonic.

• Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  • Mary Maller, Sean Bowe, Markulf Kohlweiss, Sarah Meiklejohn

Unhelpder mode is not fully implemented yet.

Setup

git clone [email protected]:LayerXcom/lx-sonic.git
cd lx-sonic
cargo build --release

Test

cargo test --release

Acknowledgements

Original implementation for paper is in sonic crate, developed by Sean Bowe. This implementation have been adapted from it.