Implemented OR-Proof