jude
|
9c6b251a25
|
aaaaaaaaaaaaaaaaaa
|
2023-04-30 18:42:52 +01:00 |
|
jude
|
0fed48b79d
|
idk
|
2023-04-29 16:35:17 +01:00 |
|
jude
|
663b8ab4de
|
Lower rounds. tex stuff
|
2023-04-28 12:42:58 +01:00 |
|
jude
|
6005cd6aff
|
Fix bit length proof
|
2023-04-28 10:32:05 +01:00 |
|
|
|
f4020aadec
|
....
|
2023-04-24 14:20:44 +01:00 |
|
jude
|
8eb68d3fe0
|
Add proof of fortification
|
2023-04-21 20:39:58 +01:00 |
|
jude
|
a1eba884bc
|
Add bcdg range proof
|
2023-04-21 15:03:15 +01:00 |
|
jude
|
f9805c4806
|
...
|
2023-04-20 10:13:03 +01:00 |
|
|
|
c87f88b287
|
optimise
|
2023-04-17 16:32:35 +01:00 |
|
|
|
659fcc389a
|
...
|
2023-04-17 13:30:34 +01:00 |
|
jude
|
ad26788927
|
readme, benchmarks, fix verification
|
2023-04-15 14:28:13 +01:00 |
|
jude
|
35dbf321e9
|
prove and verify rounds
|
2023-04-14 16:04:24 +01:00 |
|
jude
|
b7150d6547
|
Fixed stuff
|
2023-04-13 13:32:29 +01:00 |
|
jude
|
6de13d3b70
|
Ensure bit length of randomly generated numbers are fine
|
2023-03-19 15:31:29 +00:00 |
|
jude
|
cf0c9135e1
|
Mid refactor to stop polluting the namespace so much
|
2023-03-03 17:34:15 +00:00 |
|
