Commits · main · Mads Overgård Henningsen / au-6-6-hacspec · GitLab

26 May, 2022 10 commits
- Merge branch 'main' of https://gitlab.au.dk/au648318/au-6-6-hacspec · cab0dade
  Viktor Salling authored May 26, 2022
  
  cab0dade
- added a few more tests · d3ab0eda
  Viktor Salling authored May 26, 2022
  
  d3ab0eda
- Fixed precedence of infix operations in coq files · aa30c48f
  Mads Overgård Henningsen authored May 26, 2022
  
  aa30c48f
- Removed debug prints from coq file · 966a3338
  Mads Overgård Henningsen authored May 26, 2022
  
  966a3338
- Removed unused and incomplete proof · c0b3d2a3
  Mads Overgård Henningsen authored May 26, 2022
  
  c0b3d2a3
- Merge branch 'main' of https://gitlab.au.dk/au648318/au-6-6-hacspec · 2a2d99fc
  Mads Overgård Henningsen authored May 26, 2022
  
  2a2d99fc
- Added optional sort to batch scalar multiplication (not hacspec) · fc711c24
  Mads Overgård Henningsen authored May 26, 2022
  
  fc711c24
- Minor cleanup in curve Coq code and fixed proof of correctness for single signatures · 83808146
  Mads Overgård Henningsen authored May 26, 2022
  
  83808146
- Merge branch 'main' of https://gitlab.au.dk/au648318/au-6-6-hacspec · b716b5e4
  Viktor Salling authored May 26, 2022
  
  b716b5e4
- modified test slightly · 509c4504
  Viktor Salling authored May 26, 2022
  
  509c4504
24 May, 2022 4 commits
- Merge branch 'au648318-main-patch-49717' into 'main' · ee2785f2
  Mads Overgård Henningsen authored May 24, 2022
```
Update Readme.md

See merge request !1
```
  ee2785f2
- Update Readme.md · e5d3fc67
  Mads Overgård Henningsen authored May 24, 2022
  
  e5d3fc67
- Added CI to host docs · 560fff4a
  Mads Overgård Henningsen authored May 24, 2022
  
  560fff4a
- Added docs · 6a47aa5d
  Mads Overgård Henningsen authored May 24, 2022
  
  6a47aa5d
17 May, 2022 1 commit
- Tweaks to comments and tested documentation generation (docs not included in commit) · e3602a9e
  Mads Overgård Henningsen authored May 17, 2022
  
  e3602a9e
16 May, 2022 5 commits
- merged branches · 9c6d016c
  Viktor Salling authored May 16, 2022
  
  9c6d016c
- refactored multi sig verification · c7256ebb
  Viktor Salling authored May 16, 2022
  
  c7256ebb
- Moved Quickcheck generators to tests folder instead of src and reverted test sizes · 3f0a742d
  Mads Overgård Henningsen authored May 16, 2022
  
  3f0a742d
- Merge branch 'main' of https://gitlab.au.dk/au648318/au-6-6-hacspec · 06018dec
  Mads Overgård Henningsen authored May 16, 2022
  
  06018dec
- Minor changes · 64c26cb6
  Mads Overgård Henningsen authored May 16, 2022
  
  64c26cb6
12 May, 2022 1 commit
- small changes in MuSig and completed quickcheck tests · 98afa46d
  Viktor Salling authored May 12, 2022
  
  98afa46d
10 May, 2022 2 commits
- QuickCheck test for batch verification implemented and passing · 6ffc3deb
  Mads Overgård Henningsen authored May 10, 2022
  
  6ffc3deb
- WIP batch verification in hacspec and updated language version · dfc3a94c
  Mads Overgård Henningsen authored May 10, 2022
  
  dfc3a94c
09 May, 2022 4 commits
- merged branches.. maybe · 73f3241d
  Viktor Salling authored May 09, 2022
  
  73f3241d
- refactored stuff · 163fe6c5
  Viktor Salling authored May 09, 2022
  
  163fe6c5
- Merge branch 'main' of https://gitlab.au.dk/au648318/au-6-6-hacspec · 53174e79
  Mads Overgård Henningsen authored May 09, 2022
  
  53174e79
- Finished proof for batch scalar multiplication correctness · 6b3c1ba6
  Mads Overgård Henningsen authored May 09, 2022
  
  6b3c1ba6
05 May, 2022 3 commits
- refactored multisig and began tests · 60bf8cb4
  Viktor Salling authored May 05, 2022
  
  60bf8cb4
- Merge branch 'main' of https://gitlab.au.dk/au648318/au-6-6-hacspec · de3ecdc5
  Mads Overgård Henningsen authored May 05, 2022
  
  de3ecdc5
- Minor changes to hacspec implementation of curve and significant progress on foldi proofs · c87f79a1
  Mads Overgård Henningsen authored May 05, 2022
  
  c87f79a1
02 May, 2022 1 commit
- implemented initial parts of MuSig, needs some refactoring and testing · 84084dba
  Viktor Salling authored May 02, 2022
  
  84084dba
28 Apr, 2022 1 commit
- Progress in proving scalar multiplication · d2ea44e2
  Mads Overgård Henningsen authored Apr 28, 2022
  
  d2ea44e2
25 Apr, 2022 2 commits
- Merge branch 'main' of https://gitlab.au.dk/au648318/au-6-6-hacspec · 409984bb
  Mads Overgård Henningsen authored Apr 25, 2022
  
  409984bb
- WIP curve closure proofs and finished Schnorr correctness proof · 21e86d57
  Mads Overgård Henningsen authored Apr 25, 2022
  
  21e86d57
21 Apr, 2022 2 commits
- began work on multiSig · 7f44f088
  Viktor Salling authored Apr 21, 2022
  
  7f44f088
- Small changes to Schnorr Sigs in hacspec, exported sigs to Coq and progress on proofs for curve · c315ed2c
  Mads Overgård Henningsen authored Apr 21, 2022
  
  c315ed2c
07 Apr, 2022 1 commit
- Progress on proving associativity · 91ae837a
  Mads Overgård Henningsen authored Apr 07, 2022
  
  91ae837a
05 Apr, 2022 1 commit
- WIP rework of lemmas · 1394939e
  Mads Overgård Henningsen authored Apr 05, 2022
  
  1394939e
01 Apr, 2022 1 commit
- WIP proof of curve · 8a5ef95c
  Mads Overgård Henningsen authored Apr 01, 2022
  
  8a5ef95c
28 Mar, 2022 1 commit
- Got Coq working and WIP proofs for secp256k1 · 3efbd23e
  Mads Overgård Henningsen authored Mar 28, 2022
  
  3efbd23e