mdw@git.distorted.org.uk Git - catacomb/blob - utils/poly1305.pock

   1 ;;; -*-conf-windows-*-
   2 ;;;
   3 ;;; Primality proof for Poly1305.
   4 ;;;
   5 ;;; This is exactly the proof of Theorem 3.1 from Daniel J. Bernstein, `The
   6 ;;; Poly1305-AES message-authentication code'.
   7
   8 sievebits 32
   9
  10 small a = 37003
  11 small b = 221101
  12
  13 pock p2 = 2, 245965590, [a, b]
  14 pock p1 = 2, 111445310351, [p2]
  15 pock 2p130m5 = 2, 758657323, [p1]
  16 check 2p130m5, 130, 1361129467683753853853498429727072845819