A light-weight and performant implementation of the Arcturus zero-knowledge proof system [link].
pub use proof::*;