GaloisInc/BLST-Verification issues and pull requests

#77 - > This mostly looks great! Please perform the small doc changes I requested. I'll mark as "approve" assuming that you'll make those changes and merge yourself.

Issue - State: closed - Opened by KarmaHaze over 1 year ago - 1 comment

#76 - #74

Issue - State: open - Opened by KarmaHaze over 1 year ago

#75 - #74

Issue - State: open - Opened by KarmaHaze over 1 year ago

#74 - Fix `cryptol-specs` URL in .gitmodules

Pull Request - State: closed - Opened by chameco over 2 years ago

#73 - Omit summary rows without assumptions

Pull Request - State: closed - Opened by bboston7 almost 3 years ago

#72 - Summarize better

Pull Request - State: closed - Opened by msaaltink almost 3 years ago

#71 - Publish html-summary script output to Github pages

Pull Request - State: closed - Opened by bboston7 almost 3 years ago

#70 - Add remaining BLS wrapper proofs

Pull Request - State: closed - Opened by bboston7 almost 3 years ago - 1 comment

#69 - Bulk add functional

Pull Request - State: closed - Opened by andreistefanescu almost 3 years ago

#68 - Bulk add functional

Pull Request - State: open - Opened by andreistefanescu about 3 years ago

#67 - A few tweaks to the html-summary script

Pull Request - State: closed - Opened by nano-o about 3 years ago - 2 comments

#66 - Bulk addition memory safety

Pull Request - State: closed - Opened by nano-o about 3 years ago

#65 - Bulk addition memory safety

Pull Request - State: closed - Opened by nano-o about 3 years ago

#64 - Bls operations rebased

Pull Request - State: closed - Opened by nano-o over 3 years ago - 1 comment

#63 - add implementation proofs for core_verify_pk_in_g1

Pull Request - State: closed - Opened by nano-o over 3 years ago

#62 - Keygen revisited

Pull Request - State: closed - Opened by msaaltink over 3 years ago

#61 - Aggregate_in_g{1,2}

Pull Request - State: closed - Opened by nano-o over 3 years ago

#60 - refactor hash_to proofs

Pull Request - State: closed - Opened by nano-o over 3 years ago

#59 - Fp override fixes

Pull Request - State: closed - Opened by msaaltink over 3 years ago

#58 - Correctness for x86_64 routines

Pull Request - State: closed - Opened by chameco over 3 years ago

#57 - Add final_exp proof

Pull Request - State: closed - Opened by bboston7 over 3 years ago

#56 - restore pairing.cry and solve name conflict

Pull Request - State: closed - Opened by nano-o over 3 years ago

#55 - aggregate_in_g2

Pull Request - State: closed - Opened by nano-o over 3 years ago

#54 - aggregate_in_g1

Pull Request - State: closed - Opened by nano-o over 3 years ago

#53 - Finish sqrt align

Pull Request - State: closed - Opened by msaaltink over 3 years ago

#52 - Hash to g2

Pull Request - State: closed - Opened by nano-o over 3 years ago

#51 - Add clear_cofactor proof

Pull Request - State: closed - Opened by bboston7 over 3 years ago - 1 comment

#50 - Miller loop

Pull Request - State: closed - Opened by msaaltink over 3 years ago

#49 - Add archives (with submodules) when releases are published

Pull Request - State: closed - Opened by chameco over 3 years ago

#48 - Add blst_p2_compress proof

Pull Request - State: closed - Opened by bboston7 over 3 years ago

#47 - add sgn0x_pty_mont_384x_ov

Pull Request - State: closed - Opened by nano-o over 3 years ago

#46 - Fix Hash-to-curve tests and the Cryptol testing script

Pull Request - State: closed - Opened by msaaltink over 3 years ago

#45 - Add blst_p1_compress proof

Pull Request - State: closed - Opened by bboston7 over 3 years ago - 1 comment

#44 - Remove uses of the `eq` primitive, which is slated for removal.

Pull Request - State: closed - Opened by robdockins over 3 years ago - 4 comments

#43 - Hash to g1

Pull Request - State: closed - Opened by nano-o over 3 years ago

#42 - Fp12

Pull Request - State: closed - Opened by msaaltink over 3 years ago

#41 - Make proof of `mul_to_fp_thm` work with `z3-4.8.10`.

Pull Request - State: closed - Opened by nano-o over 3 years ago

#40 - Map to g1

Pull Request - State: closed - Opened by nano-o almost 4 years ago - 1 comment

#39 - Add memory safety proofs for remaining x86_64 routines

Pull Request - State: closed - Opened by chameco almost 4 years ago - 3 comments

#38 - Release 2 extra

Pull Request - State: closed - Opened by msaaltink almost 4 years ago

#37 - Serialization e2

Pull Request - State: closed - Opened by msaaltink almost 4 years ago - 3 comments

#36 - Subgroup check g2

Pull Request - State: closed - Opened by nano-o almost 4 years ago

#35 - scalar multiplication for E2. Unfortunately, ec_mult2.saw duplicates…

Pull Request - State: closed - Opened by msaaltink almost 4 years ago

#34 - E2 curve operations

Pull Request - State: closed - Opened by nano-o almost 4 years ago

#33 - Manually pass -DADX in CFLAGS instead of reading /proc/cpuinfo

Pull Request - State: closed - Opened by chameco almost 4 years ago

#32 - Serialization ms

Pull Request - State: closed - Opened by msaaltink almost 4 years ago

#31 - add fp2 overrides and other defs for E2 ops

Pull Request - State: closed - Opened by nano-o almost 4 years ago

#30 - Subgroup check g1

Pull Request - State: closed - Opened by msaaltink almost 4 years ago

#29 - Aggregate ops memory safety

Pull Request - State: closed - Opened by nano-o almost 4 years ago

#28 - Ec mult

Pull Request - State: closed - Opened by msaaltink almost 4 years ago - 2 comments

#27 - Enable previously-disabled x86 memory safety proofs (addition)

Pull Request - State: closed - Opened by chameco almost 4 years ago

#26 - Api functions

Pull Request - State: closed - Opened by msaaltink about 4 years ago

#25 - Reorganize mem safety

Pull Request - State: closed - Opened by nano-o about 4 years ago

#24 - Add first initial pass at gh-pages

Pull Request - State: closed - Opened by hazelweakly about 4 years ago - 4 comments

#23 - Core verify

Pull Request - State: closed - Opened by nano-o about 4 years ago

#22 - Revise prime fields

Pull Request - State: closed - Opened by msaaltink about 4 years ago

#21 - Sign memory safety

Pull Request - State: closed - Opened by nano-o about 4 years ago

#20 - functional correctness of hash-to-field

Pull Request - State: closed - Opened by nano-o about 4 years ago - 2 comments

#19 - Initial work on memory safety proofs for x86_64 routines

Pull Request - State: closed - Opened by chameco about 4 years ago

#18 - Added helper functions for proof developent

Pull Request - State: closed - Opened by msaaltink about 4 years ago

#17 - add license to saw and cry files

Pull Request - State: closed - Opened by nano-o about 4 years ago

#16 - Expanded the README

Pull Request - State: closed - Opened by msaaltink about 4 years ago

#15 - Hash to field

Pull Request - State: closed - Opened by nano-o about 4 years ago

#14 - Modifications to allow for an easy switch in the representation of Fp

Pull Request - State: closed - Opened by msaaltink about 4 years ago

#13 - update submodules and remove cast_fix.patch

Pull Request - State: closed - Opened by nano-o about 4 years ago

#12 - Update to saw 0.6 and cryptol 2.9.1

Pull Request - State: closed - Opened by msaaltink about 4 years ago

#11 - split memory-safety proof

Pull Request - State: closed - Opened by nano-o about 4 years ago - 1 comment

#10 - new_ret -> new_f_ret, where f is function name

Pull Request - State: closed - Opened by nano-o about 4 years ago

#9 - Fix keygen patch

Pull Request - State: closed - Opened by nano-o about 4 years ago

#8 - Caching Docker layers seems to cause issues

Issue - State: open - Opened by nano-o about 4 years ago - 3 comments

#7 - implement github actions

Pull Request - State: closed - Opened by hazelweakly about 4 years ago

#6 - Pairing

Pull Request - State: closed - Opened by msaaltink about 4 years ago

#5 - Giuliano 3

Pull Request - State: closed - Opened by nano-o about 4 years ago - 2 comments

#4 - Build BLST bitcode and x86 outside the source tree

Pull Request - State: closed - Opened by chameco about 4 years ago

#3 - Hash to curve

Pull Request - State: closed - Opened by msaaltink about 4 years ago

#2 - add docker setup

Pull Request - State: closed - Opened by nano-o about 4 years ago

#1 - Basic functions for polynomials and for extension fields

Pull Request - State: closed - Opened by msaaltink about 4 years ago

GitHub / GaloisInc/BLST-Verification issues and pull requests