mmcloughlin/ec3 issues and pull requests

#135 - docs: Add the standard curve database (neuromancer.sk/std/).

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

#134 - doc: release partial progress

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

#133 - arith/fp/mont: basic montgomery field operations

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#132 - all: upgrade lint

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#131 - arith/mp: ConditionalMove

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#130 - arith/mp: SubInto

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#129 - implement multiplication with accumulator

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#128 - arith/mp: test AddInto

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#127 - arith/mp: new package

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#126 - arith/build: new package

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#125 - arith/eval: support CMOV

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#124 - arith: extend ir

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#123 - name: new package for name generation

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#122 - arith: ops

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#121 - addchain: switch to github.com/mmcloughlin/addchain

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#120 - all: go module

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#119 - tools: switch to github.com/mmcloughlin/bib

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#118 - tools: switch to github.com/mmcloughlin/mathfmt

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#117 - ci: remove docker

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#116 - arith/verif,internal/z3: delete

Pull Request - State: closed - Opened by mmcloughlin over 4 years ago

#115 - arith/verif: archive verification attempt

Issue - State: closed - Opened by mmcloughlin over 4 years ago - 1 comment
Labels: cleanup

#114 - tools/bib: delete in favor of external package

Issue - State: closed - Opened by mmcloughlin about 5 years ago
Labels: cleanup

#113 - tools/mathfmt: delete in favor of external package

Issue - State: closed - Opened by mmcloughlin about 5 years ago
Labels: cleanup

#112 - addchain: switch to using independent package

Issue - State: closed - Opened by mmcloughlin about 5 years ago
Labels: cleanup

#111 - addchain: consider breaking out as separate package

Issue - State: closed - Opened by mmcloughlin about 5 years ago - 3 comments

#110 - tools/refs: generate bibliography

Pull Request - State: closed - Opened by mmcloughlin about 5 years ago

#109 - tools/refs: generate bibliography

Issue - State: closed - Opened by mmcloughlin about 5 years ago - 1 comment
Labels: doc, low

#108 - tools/refs: link checker

Issue - State: closed - Opened by mmcloughlin about 5 years ago
Labels: doc, low

#107 - tools/refs: lint rules

Issue - State: closed - Opened by mmcloughlin about 5 years ago
Labels: doc, low

#106 - tools/refs: tool for managing references

Pull Request - State: closed - Opened by mmcloughlin about 5 years ago

#105 - arith: experiment with multi-precision arithmetic in LLVM

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: idea, low

#104 - build: static binary

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: low

#103 - arith: lower to specific architectures

Issue - State: open - Opened by mmcloughlin over 5 years ago - 2 comments

#102 - arith/verif: new package

Pull Request - State: closed - Opened by mmcloughlin over 5 years ago

#101 - arith: verify arithmetic programs

Issue - State: open - Opened by mmcloughlin over 5 years ago - 3 comments

#100 - internal/z3: new package

Pull Request - State: closed - Opened by mmcloughlin over 5 years ago

#99 - z3 bindings

Issue - State: closed - Opened by mmcloughlin over 5 years ago - 3 comments

#98 - arith: intermediate representation for register arithmetic

Pull Request - State: closed - Opened by mmcloughlin over 5 years ago

#97 - ci: github actions

Pull Request - State: closed - Opened by mmcloughlin over 5 years ago

#96 - ir for multi-precision arithmetic

Issue - State: open - Opened by mmcloughlin over 5 years ago - 1 comment
Labels: idea, perf, testing

#95 - asm/fp/mont: exploit structure of prime

Issue - State: open - Opened by mmcloughlin over 5 years ago - 2 comments

#94 - gen: asm select

Issue - State: closed - Opened by mmcloughlin over 5 years ago - 2 comments
Labels: perf

#93 - gen: asm generation for formulae

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: perf

#92 - gen/curve: p256 performance differences

Issue - State: open - Opened by mmcloughlin over 5 years ago - 3 comments
Labels: perf

#91 - gen/fp: mark assembly functions go:noescape

Issue - State: closed - Opened by mmcloughlin over 5 years ago
Labels: perf

#90 - gen/curve: shortw curve benchmarks

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: perf, testing

#89 - gen/curve: shortw curve tests

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: testing

#88 - gen/curve: optimized fixed-base scalar multiplication

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: perf

#87 - gen/curve: scalar inversion

Pull Request - State: closed - Opened by mmcloughlin over 5 years ago

#86 - gen: handling of montgomery encode/decode

Issue - State: open - Opened by mmcloughlin over 5 years ago - 1 comment

#85 - gen/curve: scalar inversion

Issue - State: closed - Opened by mmcloughlin over 5 years ago

#84 - gen/ec: adding complete addition

Pull Request - State: closed - Opened by mmcloughlin over 5 years ago

#83 - gen/ec: handle potential aliasing

Issue - State: closed - Opened by mmcloughlin over 5 years ago - 3 comments

#82 - all: miscellany

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: low, cleanup

#81 - efd: detect complete and strongly unified formulae

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: low

#80 - gen/curve: scalar multiplication

Pull Request - State: closed - Opened by mmcloughlin over 5 years ago

#79 - testing: audit use of math/big

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: testing

#78 - gen/ec: scalar multiplication "Remark 3 (The best of both worlds?)"

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: idea, low, perf

#77 - gen/fp: fields modulo group order N

Issue - State: open - Opened by mmcloughlin over 5 years ago

#76 - efd: support adding extra formulae

Issue - State: closed - Opened by mmcloughlin over 5 years ago - 1 comment
Labels: idea, low

#75 - gen/ec: check for exceptional inputs

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: testing

#74 - gen/ec: investigate repeated doubling formulae

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: idea, low, perf

#73 - gen/ec: merged double add formula

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: low, perf

#72 - gen/curve,internal/tmpl: generate curve operations from template

Pull Request - State: closed - Opened by mmcloughlin over 5 years ago

#71 - ci: github actions

Issue - State: open - Opened by mmcloughlin over 5 years ago - 2 comments

#70 - ci: run code generation

Pull Request - State: closed - Opened by mmcloughlin over 5 years ago

#69 - testing: edge cases

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: testing

#68 - gen/ec: conditional point operations

Issue - State: closed - Opened by mmcloughlin over 5 years ago - 2 comments

#67 - gen/ec: scalar multiplication

Issue - State: open - Opened by mmcloughlin over 5 years ago - 2 comments

#66 - gen/ec,examples/p256: generate add/double for jacobian points

Pull Request - State: closed - Opened by mmcloughlin over 5 years ago

#65 - gen/fp: inversion chains for p-3

Issue - State: open - Opened by mmcloughlin over 5 years ago

#64 - test for constant time implementations

Issue - State: open - Opened by mmcloughlin over 5 years ago - 1 comment
Labels: idea

#63 - gen: template-driven code generation

Issue - State: closed - Opened by mmcloughlin over 5 years ago - 4 comments

#62 - consider "slothful reduction"

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: idea, perf

#61 - gen/fp: math/big conversion

Issue - State: closed - Opened by mmcloughlin over 5 years ago

#60 - benchmark against existing implementations

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: perf

#59 - efd: formulae for coordinate transformations

Issue - State: open - Opened by mmcloughlin over 5 years ago - 1 comment

#58 - efd/op3: temporaries allocation

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: perf

#57 - gen/ec: code generation for efd formulae

Issue - State: open - Opened by mmcloughlin over 5 years ago - 3 comments

#56 - unify acc and op3

Issue - State: open - Opened by mmcloughlin over 5 years ago - 1 comment
Labels: idea, low, cleanup

#55 - ec: p256

Issue - State: open - Opened by mmcloughlin over 5 years ago - 1 comment

#54 - efd/cost: compute readdition cost

Issue - State: open - Opened by mmcloughlin over 5 years ago

#53 - efd/cost: package for evaluating formula costs

Pull Request - State: closed - Opened by mmcloughlin over 5 years ago

#52 - asm/mp: use immediate values for constants

Issue - State: open - Opened by mmcloughlin over 5 years ago

#51 - testing: known answer tests

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: testing

#50 - gen/fp: test against math/big

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: testing

#49 - testing: generate "challenging" test vectors

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: testing

#48 - asm: assertions in "debug mode"

Issue - State: open - Opened by mmcloughlin over 5 years ago - 4 comments
Labels: idea

#47 - fp: montgomery reduction

Issue - State: open - Opened by mmcloughlin over 5 years ago - 4 comments

#46 - investigate fiat crypto

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: idea

#44 - fp: field operation benchmarks

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: perf

#43 - efd: speed tables

Issue - State: open - Opened by mmcloughlin over 5 years ago
Labels: low

#42 - efd: formula validation

Issue - State: open - Opened by mmcloughlin over 5 years ago - 1 comment

#41 - efd: formula analysis

Issue - State: open - Opened by mmcloughlin over 5 years ago - 1 comment

#40 - efd: formula costing

Issue - State: closed - Opened by mmcloughlin over 5 years ago - 3 comments

#34 - fp: dedicated assembly for square

Issue - State: open - Opened by mmcloughlin over 5 years ago - 2 comments
Labels: cleanup, perf

#31 - ci: run code generation

Issue - State: closed - Opened by mmcloughlin over 5 years ago
Labels: cleanup

#29 - ec: curve implementations

Issue - State: open - Opened by mmcloughlin over 5 years ago

#22 - tools/bib: markdown output

Issue - State: closed - Opened by mmcloughlin over 5 years ago - 1 comment
Labels: doc, low

#15 - all: go module

Issue - State: closed - Opened by mmcloughlin over 5 years ago - 2 comments
Labels: cleanup

GitHub / mmcloughlin/ec3 issues and pull requests