Skip to content

Latest commit

 

History

History

elliptic

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
c_output
c_output
 
 
swsep
swsep
 
 
.gitignore
.gitignore
 
 
Algebra.sig
Algebra.sig
 
 
Algebra.sml
Algebra.sml
 
 
Map.sig
Map.sig
 
 
Map.sml
Map.sml
 
 
Parser.sig
Parser.sig
 
 
Parser.sml
Parser.sml
 
 
README
README
 
 
Stream.sig
Stream.sig
 
 
Stream.sml
Stream.sml
 
 
Useful.sig
Useful.sig
 
 
Useful.sml
Useful.sml
 
 
compile
compile
 
 
ellipticScript.sml
ellipticScript.sml
 
 
ellipticTools.sig
ellipticTools.sig
 
 
ellipticTools.sml
ellipticTools.sml
 
 
elliptic_exampleScript.sml
elliptic_exampleScript.sml
 
 
fieldScript.sml
fieldScript.sml
 
 
fieldTools.sig
fieldTools.sig
 
 
fieldTools.sml
fieldTools.sml
 
 
groupScript.sml
groupScript.sml
 
 
groupTools.sig
groupTools.sig
 
 
groupTools.sml
groupTools.sml
 
 
make.elliptic
make.elliptic
 
 
primalityScript.sml
primalityScript.sml
 
 
primalityTools.sig
primalityTools.sig
 
 
primalityTools.sml
primalityTools.sml
 
 
subtypeTools.sig
subtypeTools.sig
 
 
subtypeTools.sml
subtypeTools.sml
 
 

README

This directory is intended to implement proof-based
translation of Elliptic Curve Cryptography to ARM assembly.

- -

Known to not entirely build, January 2021.