|
purify
C++ Purify implementation with native circuit and BPP support
|
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. | |