Skip to content

Activity

Showing most recent first

0.1.0

AldanTanneocreated release/0.1.0 • f5a1486 • 
on Jan 30

Deleted tag

AldanTanneodeleted refs/tags/0.1.0-dev • 
on Jan 30

add_carry proof using recent gnatprove

Force push
AldanTanneoforce pushed to addition-proof • 55e38d6…0b510e3 • 
on Jan 30

add_carry proof using recent gnatprove

AldanTanneocreated addition-proof • 55e38d6 • 
on Jan 30

prepare alire release

AldanTanneopushed 1 commit to main • 851ef20…3eb781f • 
on Jan 30

fix proof

AldanTanneopushed 1 commit to main • e870459…851ef20 • 
on Jan 24

license

AldanTanneopushed 3 commits to main • 7d5436a…e870459 • 
on Jan 24

update README

Force push
AldanTanneoforce pushed to main • 79c4ea7…7d5436a • 
on Jan 14

update README

AldanTanneopushed 3 commits to main • b42d309…79c4ea7 • 
on Jan 14

constant time square root

AldanTanneopushed 1 commit to main • e47eb08…b42d309 • 
on Jan 14

optimized squaring

AldanTanneopushed 1 commit to main • 7a4d7df…e47eb08 • 
on Jan 14

add diffie hellman test

AldanTanneopushed 1 commit to main • 2bba13b…7a4d7df • 
on Jan 13

Create LICENSE

AldanTanneopushed 1 commit to main • f9bef92…2bba13b • 
on Jan 13

add tiny x25519 implementation as test

Force push
AldanTanneoforce pushed to main • a7ef889…f9bef92 • 
on Jan 13

add tiny x25519 implementation as test

AldanTanneopushed 3 commits to main • c93b048…a7ef889 • 
on Jan 13

tests

AldanTanneopushed 4 commits to main • 54da8b4…c93b048 • 
on Jan 13

Update alire action to v4

AldanTanneopushed 1 commit to main • f9532b3…54da8b4 • 
on Jan 10

test smaller modular instantiation

AldanTanneopushed 2 commits to main • 8987405…f9532b3 • 
on Jan 10

Update run_tests.yml

AldanTanneopushed 1 commit to main • 422936b…8987405 • 
on Jan 10

documentation

AldanTanneopushed 1 commit to main • 3f3c31d…422936b • 
on Jan 10

formatting

AldanTanneopushed 2 commits to main • 13c4fde…3f3c31d • 
on Jan 10

auto formatting

AldanTanneopushed 1 commit to main • 2c2d673…13c4fde • 
on Jan 10

badge link

Force push
AldanTanneoforce pushed to main • 57f67eb…2c2d673 • 
on Jan 10

auto formatting

AldanTanneopushed 2 commits to main • 624f4b1…57f67eb • 
on Jan 10

README & CI

Force push
AldanTanneoforce pushed to main • dedc1b4…624f4b1 • 
on Jan 10

README & CI

AldanTanneopushed 1 commit to main • 2333491…dedc1b4 • 
on Jan 10

github action and tests improvements

AldanTanneopushed 1 commit to main • cc0380a…2333491 • 
on Jan 10

fix montgomery form (& formatting)

Force push
AldanTanneoforce pushed to main • ab4a17e…cc0380a • 
on Jan 10

fix montgomery form (& formatting)

AldanTanneopushed 1 commit to main • bb1d9cc…ab4a17e • 
on Jan 10

prime field first implementation

AldanTanneopushed 5 commits to main • 5dd8cce…bb1d9cc • 
on Jan 9