Issues

• Consider adding default point encoding functions for curve implementations

  hacspec/hacspec-python#35 · Filter by author chris-wood opened on Jun 15, 2018

• Add cost computation logic to compilation phase

  hacspec/hacspec-python#34 · Filter by author chris-wood opened on Jun 15, 2018

• Add square root field functions to curve implementations

  hacspec/hacspec-python#33 · Filter by author chris-wood opened on Jun 15, 2018

• implement contract

  hacspec/hacspec-python#31 · Filter by author franziskuskiefer opened on May 16, 2018
  1

• blake2b type issue

  hacspec/hacspec-python#29 · Filter by author franziskuskiefer opened on May 9, 2018

• Implement wycheproof test vectors

  hacspec/hacspec-python#16 · Filter by author franziskuskiefer opened on Apr 10, 2018

• ctr.py is not used

  hacspec/hacspec-python#15 · Filter by author franziskuskiefer opened on Apr 10, 2018
  

• ocaml parser

  hacspec/hacspec-python#11 · Filter by author franziskuskiefer opened on Mar 26, 2018
  2

  

• Type checker

  hacspec/hacspec-python#10 · Filter by author franziskuskiefer opened on Mar 24, 2018
  3

• Spec checker

  hacspec/hacspec-python#9 · Filter by author franziskuskiefer opened on Mar 24, 2018

• map fiat-crypto specs to rfcs

  hacspec/hacspec-python#4 · Filter by author andres-erbsen opened on Jan 15, 2018