factor out the OTP proof to work with an abstract xor#26
Open
haselwarter wants to merge 1 commit intomainfrom
Open
factor out the OTP proof to work with an abstract xor#26haselwarter wants to merge 1 commit intomainfrom
haselwarter wants to merge 1 commit intomainfrom
