Code

ZK primitive ops#1052

Code

Merged

jmcardon merged 47 commits intomasterkadena-io/pact:masterfrom jose/zk-opskadena-io/pact:jose/zk-opsCopy head branch name to clipboardFeb 6, 2023

+1,392-1

Commits

Commits on Sep 21, 2022

• Wip arith

  jmcardon

  committed
  862c9b0

  Copy full SHA for 862c9b0

Commits on Sep 26, 2022

• wip pairings + twists

  jmcardon

  committed
  1d62060

  Copy full SHA for 1d62060

Commits on Sep 27, 2022

• pairing functions

  jmcardon

  committed
  ff2eb78

  Copy full SHA for ff2eb78

Commits on Sep 28, 2022

• miller loop

  jmcardon

  committed
  4b1c551

  Copy full SHA for 4b1c551

• WIP pairing spec

  jmcardon

  committed
  bf5cbbc

  Copy full SHA for bf5cbbc

Commits on Sep 29, 2022

• Begin writing ZK spec tests

  jwiegley

  committed
  a33dc37

  Copy full SHA for a33dc37

• Merge branch 'jose/zk-ops' into johnw/zk-spec

  jwiegley

  authored
  27c2ddd

  Copy full SHA for 27c2ddd

Commits on Oct 11, 2022

• wip new ZK impl

  jmcardon

  committed
  9093885

  Copy full SHA for 9093885

• Extension impl + miller loop

  jmcardon

  committed
  9dd9e00

  Copy full SHA for 9dd9e00

• Merge branch 'jose/zk-ops' into johnw/zk-spec

  jmcardon

  committed
  bcebb5d

  Copy full SHA for bcebb5d

• wip fix zk ops

  jmcardon

  committed
  c5252b2

  Copy full SHA for c5252b2

• wip galois-field replacement

  jmcardon

  committed
  6e0f717

  Copy full SHA for 6e0f717

Commits on Oct 12, 2022

• miller loop for bn254

  jmcardon

  committed
  413f115

  Copy full SHA for 413f115

• Merge branch 'jose/zk-ops' into jj/zk-spec2

  jmcardon

  committed
  eddcaf6

  Copy full SHA for eddcaf6

• fix pairing impl

  jmcardon

  committed
  19aae76

  Copy full SHA for 19aae76

• remove galois field

  jmcardon

  committed
  cba893e

  Copy full SHA for cba893e

• rename Fq

  jmcardon

  committed
  2aa5546

  Copy full SHA for 2aa5546

• remove points

  jmcardon

  committed
  887862c

  Copy full SHA for 887862c

• Simplify tests/ZkSpec.hs

  jwiegley

  committed
  378bfb0

  Copy full SHA for 378bfb0

• wip bounds

  jmcardon

  committed
  bd01882

  Copy full SHA for bd01882

Commits on Oct 13, 2022

• Several optimizations in Pairing.hs

  jwiegley

  committed
  a8e8edc

  Copy full SHA for a8e8edc

• Use explicit exports

  jwiegley

  committed
  04ce39b

  Copy full SHA for 04ce39b

Commits on Oct 14, 2022

• Only minor changes

  jwiegley

  committed
  1fbb643

  Copy full SHA for 1fbb643

• Minor whitespace fix

  jwiegley

  committed
  d7fb6de

  Copy full SHA for d7fb6de

• Minor whitespace fix

  jwiegley

  committed
  c730950

  Copy full SHA for c730950

• Add an implementation comment

  jwiegley

  committed
  dbddb91

  Copy full SHA for dbddb91

• Use unsafeSlice rather than slice

  jwiegley

  committed
  fbd1edf

  Copy full SHA for fbd1edf

• Inline all the things

  jwiegley

  committed
  894a952

  Copy full SHA for 894a952

Commits on Oct 15, 2022

• wip more tests

  jmcardon

  committed
  09828ff

  Copy full SHA for 09828ff

• Merge branch 'jose/zk-ops' of github.com:kadena-io/pact into jose/zk-ops

  jmcardon

  committed
  475cd6b

  Copy full SHA for 475cd6b

• pairing basic tests

  jmcardon

  committed
  cfd2a94

  Copy full SHA for cfd2a94

Commits on Oct 18, 2022

• Hedgehog test for pairing property

  jmcardon

  committed
  3a95c12

  Copy full SHA for 3a95c12

• pairing check

  jmcardon

  committed
  a5d1757

  Copy full SHA for a5d1757

Commits on Oct 19, 2022

• zk test

  jmcardon

  committed
  a4e9821

  Copy full SHA for a4e9821

Commits on Oct 20, 2022

• wip point add native

  jmcardon

  committed
  7360914

  Copy full SHA for 7360914

Commits on Oct 24, 2022

• wip natives

  jmcardon

  committed
  4929cad

  Copy full SHA for 4929cad

• Use INLINABLE instead of INLINE for the sake of GHC memory

  jwiegley

  committed
  0bdb7f6

  Copy full SHA for 0bdb7f6

• pairing check, scalar mult and addition

  jmcardon

  committed
  ac8ea30

  Copy full SHA for ac8ea30

• Merge branch 'jose/zk-ops' of github.com:kadena-io/pact into jose/zk-ops

  jmcardon

  committed
  6352dd1

  Copy full SHA for 6352dd1

• remove pairing lib, pact repl file for zk-snark proof verif

  jmcardon

  committed
  305ee91

  Copy full SHA for 305ee91

Commits on Oct 26, 2022

• g1 and g2 in pairing contract, update type of pairing-check

  jmcardon

  committed
  2b9919c

  Copy full SHA for 2b9919c

Commits on Jan 11, 2023

• remove commented stubs

  jmcardon

  committed
  5839782

  Copy full SHA for 5839782

• fix merge conflicts

  jmcardon

  committed
  2c3e643

  Copy full SHA for 2c3e643

• gas for zk pairs

  jmcardon

  committed
  fa13939

  Copy full SHA for fa13939

• zk gas model spec

  jmcardon

  committed
  b27305e

  Copy full SHA for b27305e

Commits on Feb 2, 2023

• address removing todos

  jmcardon

  committed
  ac1a6fb

  Copy full SHA for ac1a6fb

Commits on Feb 3, 2023

• Merge branch 'master' into jose/zk-ops

  jmcardon

  committed
  45936d8

  Copy full SHA for 45936d8