purify
C++ Purify implementation with native circuit and BPP support
Loading...
Searching...
No Matches
protocol Directory Reference

Files

 bppp.cpp
 C++ convenience wrappers over the low-level BPPP C bridge.
 
 bulletproof.cpp
 Lowering and native circuit helpers for Purify's Bulletproof-style verifier model.
 
 bulletproof_internal.hpp
 
 expr.cpp
 Compiled symbolic expression and transcript machinery for Purify.