Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / awslabs/s2n-bignum issues and pull requests

#121 - Faster proofs for arm/proofs/bignum_k{mul,sqr}_*_neon.ml

Pull Request - State: closed - Opened by aqjune-aws 5 months ago

#120 - Maintain a list of specification theorems and check against it

Pull Request - State: closed - Opened by aqjune-aws 5 months ago

#119 - Update Codebuild to switch to Zarith, use num instead of Int

Pull Request - State: closed - Opened by aqjune-aws 6 months ago - 1 comment

#118 - Add bignum_mont{sqr,mul}_p256_neon for Arm

Pull Request - State: closed - Opened by aqjune-aws 6 months ago - 5 comments

#117 - Weierstrass point doubling improvements and bifurcation, other minor tweaks

Pull Request - State: closed - Opened by jargh 6 months ago - 1 comment

#116 - Check axioms at the end of run-proof.sh

Pull Request - State: closed - Opened by aqjune-aws 6 months ago

#115 - Upgrade OCaml version to 4.14, fix an error in Arm simulator

Pull Request - State: closed - Opened by aqjune-aws 6 months ago - 1 comment

#114 - Make `make proofs` fail early, use hol.sh

Pull Request - State: closed - Opened by aqjune-aws 6 months ago - 1 comment

#113 - Define program equivalence and rewrite `bignum_{mul,sqr}_8_16_neon` proofs using it

Pull Request - State: closed - Opened by aqjune-aws 7 months ago - 3 comments

#112 - Update curve25519_x25519{_byte} to make AWS-LC's delocator work

Pull Request - State: closed - Opened by aqjune-aws 7 months ago

#111 - Cosimulation of load/store instruction

Issue - State: open - Opened by aqjune-aws 7 months ago

#110 - Update test,benchmark to assume that arm has the Neon extension

Pull Request - State: closed - Opened by aqjune-aws 7 months ago - 1 comment

#109 - Enable testing bignum_copy_row_from_table on x86

Pull Request - State: closed - Opened by aqjune-aws 7 months ago

#108 - Lenngren-based X25519 for non-alt ARM code

Pull Request - State: closed - Opened by jargh 7 months ago - 6 comments

#107 - Remove predefined instructions list from x86 cosimulator

Pull Request - State: closed - Opened by aqjune-aws 8 months ago

#105 - Fix decoding of MOVSXD in the x86 model

Pull Request - State: closed - Opened by jargh 8 months ago - 1 comment

#104 - Allow MIT-0 license as well as Apache-2.0 and ISC

Pull Request - State: closed - Opened by jargh 8 months ago

#103 - Very slightly optimize long-running proofs

Pull Request - State: closed - Opened by aqjune 9 months ago - 1 comment

#102 - Print running times of proofs, factor out proof runner

Pull Request - State: closed - Opened by aqjune 9 months ago - 1 comment

#101 - Print running times of proofs, factor out proof runner

Pull Request - State: closed - Opened by aqjune-aws 9 months ago - 3 comments

#100 - Add verified bignum_copy_row_from_table for x86

Pull Request - State: closed - Opened by aqjune-aws 9 months ago - 4 comments

#99 - Make _input_ parameter to ed25519 decode function const

Pull Request - State: closed - Opened by torben-hansen 10 months ago - 1 comment

#97 - [portability] Do not use static qualifiers for Windows build

Issue - State: closed - Opened by torben-hansen 10 months ago - 6 comments

#96 - Run assembler in CI to catch issues

Issue - State: open - Opened by torben-hansen 10 months ago - 3 comments

#95 - Fix GNU-stacz typo

Pull Request - State: closed - Opened by torben-hansen 10 months ago - 1 comment

#94 - 64-bit SIMD regs in ARM model, better BOUNDER_RULE, slow-ARM field optimizations

Pull Request - State: closed - Opened by jargh 10 months ago - 3 comments

#93 - Check duplicate labels during CI

Issue - State: open - Opened by aqjune-aws 10 months ago

#92 - Avoid duplicate labels in ed25519 x86 implementation

Pull Request - State: closed - Opened by torben-hansen 10 months ago

#91 - Update x86 simulator.ml to add the latest cases

Pull Request - State: closed - Opened by aqjune-aws 10 months ago

#90 - Add BFM, BIC, FCSEL, INS, SUB, TRN1, TRN2, USHR, ZIP2 to ARM model

Pull Request - State: closed - Opened by jargh 11 months ago

#89 - Use vfree_in instead of free_in if valid

Pull Request - State: closed - Opened by aqjune-aws 11 months ago

#88 - Document that x25519 function does not implement zero-check

Pull Request - State: closed - Opened by torben-hansen 11 months ago

#87 - Ed25519 support and related updates

Pull Request - State: closed - Opened by jargh 11 months ago - 1 comment

#86 - Simplify Arm's SIMD instruction semantics

Pull Request - State: closed - Opened by aqjune-aws 11 months ago

#85 - Let NONOVERLAPPING_TAC deal with more cases, improvements for speed

Pull Request - State: closed - Opened by aqjune-aws 11 months ago - 3 comments

#83 - Slothy

Pull Request - State: closed - Opened by aqjune-aws 12 months ago - 1 comment

#82 - x86 version of constant-time table lookup is missing in #81

Issue - State: closed - Opened by aqjune-aws about 1 year ago

#81 - Add bignum_copy_row_from_table and its Neon-variants for AArch64

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago - 1 comment

#80 - Add bignum_copy_row_from_table and its Neon-variants for AArch64

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago - 2 comments

#79 - Add two ARM instructions and add print_log flags

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago - 1 comment

#78 - Tablelookup

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago - 1 comment

#77 - Upload x86 simulator and link it to s2n-bignum-x86-sematests

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago

#76 - Make bignum_emontredc_8n's spec equal to its neon version

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago - 1 comment

#75 - A dummy pull request to check whether x86-sematests works

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago

#74 - Add s2n-bignum-x86-sematests build project to CI

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago

#73 - Add NEON versions of functions for RSA 2048 and 4096

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago

#72 - Add support for UZP2, XTN

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago

#71 - Avoid using assembler macros and rename labels in the functions for RSA

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago - 2 comments

#70 - Adding support for SHA256 and SHA512 intrinsics

Pull Request - State: closed - Opened by kwancarl about 1 year ago - 6 comments

#69 - A test pull request to test the new arm-sematest

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago

#68 - Add s2n-bignum-arm-sematests build project to CI

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago

#67 - A test pull request to check the permission to update CI

Pull Request - State: closed - Opened by aqjune-aws about 1 year ago

#66 - Add a dummy `sematest` target and update proofs and tests CI

Pull Request - State: closed - Opened by aqjune-aws over 1 year ago

#65 - Update sematests CI to run the ARM simulator

Pull Request - State: closed - Opened by aqjune-aws over 1 year ago - 4 comments

#64 - Update proofs CI to run the simulator

Pull Request - State: closed - Opened by aqjune over 1 year ago - 2 comments

#63 - Add a simulator that tests the semantics of ARM instructions

Pull Request - State: closed - Opened by aqjune over 1 year ago

#62 - Add `{WINDOWS_}MAYCHANGE_REGS_AND_FLAGS_PERMITTED_BY_ABI`

Pull Request - State: closed - Opened by aqjune over 1 year ago

#61 - word_divstep59, SBFM support, QUICKSTEP tactics

Pull Request - State: closed - Opened by jargh over 1 year ago

#60 - Add `tools/check-proofs.sh` that prints the list of proven main theorms

Pull Request - State: closed - Opened by aqjune over 1 year ago - 2 comments

#59 - Add NEON versions of functions for RSA 2048 and 4096

Pull Request - State: closed - Opened by aqjune over 1 year ago - 4 comments

#58 - Formalize SLI/UMULL of ARMv8 and refactor smallstep fun names of NEON insts

Pull Request - State: closed - Opened by aqjune over 1 year ago - 2 comments

#57 - Add `[ARM|X86]_GEN_ACCSTEP{S}_TAC`

Pull Request - State: closed - Opened by aqjune over 1 year ago - 2 comments

#56 - Add simple generic modular exponentiation

Pull Request - State: closed - Opened by jargh over 1 year ago

#55 - Add support for USRA (Vector)

Pull Request - State: closed - Opened by aqjune over 1 year ago

#54 - Support nonoverlapping reasoning of 128-bit loads and other access bitwidths

Pull Request - State: closed - Opened by aqjune over 1 year ago - 5 comments

#53 - Adds script converting matched labels to per-file unique labels

Pull Request - State: closed - Opened by torben-hansen over 1 year ago

#52 - Add edwards25519 (Ed25519) basepoint multiplication

Pull Request - State: closed - Opened by jargh over 1 year ago

#51 - Add support for 8 more NEON instructions

Pull Request - State: closed - Opened by aqjune over 1 year ago

#50 - Per file namespace for symbolic labels

Pull Request - State: closed - Opened by torben-hansen over 1 year ago

#49 - Support ldr with a Q destination register

Pull Request - State: closed - Opened by aqjune over 1 year ago

#48 - Byte-level interfaces to X25519 functions

Pull Request - State: closed - Opened by jargh over 1 year ago

#46 - SM2 point operations

Pull Request - State: closed - Opened by jargh over 1 year ago

#45 - Various small curve25519 performance improvements

Pull Request - State: closed - Opened by jargh over 1 year ago

#44 - SM2 field operations

Pull Request - State: closed - Opened by jargh over 1 year ago

#43 - Formalize REV64 (NEON), UADDLP, UMLAL and UZIP1

Pull Request - State: closed - Opened by aqjune over 1 year ago - 1 comment

#42 - Formalize MUL and SHL with vector operands in ARMv8

Pull Request - State: closed - Opened by aqjune over 1 year ago

#41 - Formalize UMOV of ARMv8

Pull Request - State: closed - Opened by aqjune over 1 year ago - 3 comments

#40 - Edwards25519 point operations and testing versus TweetNaCl

Pull Request - State: closed - Opened by jargh almost 2 years ago

#39 - X25519 basepoint function, README improvements and other updates

Pull Request - State: closed - Opened by jargh almost 2 years ago

#38 - Update s2n-bignum's open source license to include ISC

Pull Request - State: closed - Opened by samuel40791765 almost 2 years ago - 1 comment

#37 - Add X25519 and fix CI timeouts

Pull Request - State: closed - Opened by jargh about 2 years ago

#36 - Basic point operations for the Weierstrass curves

Pull Request - State: closed - Opened by jargh about 2 years ago - 1 comment

#35 - curve25519 Montgomery ladder step

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

#34 - Improvements to ARM small Karatsuba muls

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

#33 - Several files missing .text directive

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

#32 - Symbol macros

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

#31 - Symbol macros

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

#30 - WIndows ABI code and proofs

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

#29 - Liberalized input-output aliasing, more curve25519 field operations

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

#28 - curve25519 field squaring

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

#27 - Global names with underscores etc.

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

#26 - First field operation for curve25519, modular multiplication

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

#25 - Additional P-521 functions and technical improvements

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

#24 - Alternative forms of main P-521 operations

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

#23 - Optimize modular inverse inner loop

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