(define picnic-version "1.0")