Dan Boneh#SNARK - OTP stats