Code

v0.7 - Daric#370

Code

Merged

AntoineRondelet merged 160 commits intomasterclearmatics/zeth:masterfrom developclearmatics/zeth:developCopy head branch name to clipboardMay 6, 2021

+6,595-3,387

Commits

Commits on Jan 1, 2021

• Updated copyright headers to 2021

  AntoineRondelet

  committed
  dd0773d

  Copy full SHA for dd0773d

Commits on Jan 5, 2021

• Merge pull request #342 from clearmatics/headers-2021

  Show description for a09d6fb
  AntoineRondelet

  authored
  a09d6fb

  Copy full SHA for a09d6fb

Commits on Jan 7, 2021

• ci: enable contract tests

  dtebbs

  committed
  880137b

  Copy full SHA for 880137b

• client: separate contract tests and use unittest framework

  dtebbs

  committed
  93f0bed

  Copy full SHA for 93f0bed

• ci: cache npm and pip in contract and client checks

  dtebbs

  committed
  b8e15ab

  Copy full SHA for b8e15ab

• client: expose further json methods on MixParameters

  dtebbs

  committed
  8d64aa8

  Copy full SHA for 8d64aa8

• Merge pull request #341 from clearmatics/ci-contract-tests

  Show description for b6d2286
  AntoineRondelet

  authored
  b6d2286

  Copy full SHA for b6d2286

Commits on Jan 14, 2021

• add dispatch call to mixer contract

  dtebbs

  committed
  dd0f64f

  Copy full SHA for dd0f64f

• client: record permitted dispatcher and support dumping MixParameters

  dtebbs

  committed
  14f8c01

  Copy full SHA for 14f8c01

• client: --for-dispatch-call flag to create parameters for dispatch calls

  dtebbs

  committed
  ea3db05

  Copy full SHA for ea3db05

• client: fix spacing in core.contracts

  dtebbs

  committed
  9ada7be

  Copy full SHA for 9ada7be

• client: fix comments in core.mixer_client

  dtebbs

  committed
  7483f83

  Copy full SHA for 7483f83

• client: clean up some OT-sig interfaces and support json encode/decode of key data

  dtebbs

  committed
  44f0e1c

  Copy full SHA for 44f0e1c

• client: removed duplicated test code

  dtebbs

  committed
  0b4ee1e

  Copy full SHA for 0b4ee1e

• client: flag to dump signing key used to create MixParameters

  dtebbs

  committed
  5d18674

  Copy full SHA for 5d18674

• client: contract test for mixer dispatch method and parameter creation

  dtebbs

  committed
  452e8ec

  Copy full SHA for 452e8ec

• client: get-verification-key command

  dtebbs

  committed
  137c849

  Copy full SHA for 137c849

• cient: util function to parse contract address

  dtebbs

  committed
  dda1ed1

  Copy full SHA for dda1ed1

• client: make zeth mixer description compatible with regular contract instance description

  dtebbs

  committed
  97f3373

  Copy full SHA for 97f3373

• client: improve support for permitted_dispatcher and vk_hash in deploy command

  dtebbs

  committed
  7d20964

  Copy full SHA for 7d20964

• client: remove some legacy output from prover_client

  dtebbs

  committed
  c860cd1

  Copy full SHA for c860cd1

• Fix up DebugLog on mixer contract and improve client support for event parsing.

  dtebbs

  committed
  75388db

  Copy full SHA for 75388db

• client: wait command to dump all event data from mixer tx

  dtebbs

  committed
  e94d07a

  Copy full SHA for e94d07a

• client: util function to extract address from contract instance description

  dtebbs

  committed
  20fe15d

  Copy full SHA for 20fe15d

• client: skip loading unused data in dispatch mode

  dtebbs

  committed
  8caa24b

  Copy full SHA for 8caa24b

• contracts: remove unused event

  dtebbs

  committed
  91f81cf

  Copy full SHA for 91f81cf

• client: replace old SIGNATURE_PRIME constant with ec.curve_order

  dtebbs

  committed
  b9cad58

  Copy full SHA for b9cad58

• client: mimc-based client-side hashing of field elements

  dtebbs

  committed
  6c00b2d

  Copy full SHA for 6c00b2d

• libzeth: pb_linear_combinations instead of pb_variables in mimc round gadget

  dtebbs

  committed
  9ad8aea

  Copy full SHA for 9ad8aea

Commits on Jan 18, 2021

• Added missing scalar field characteristic to R1CS json serialization

  AntoineRondelet

  committed
  394e394

  Copy full SHA for 394e394

• Updated analyzer README

  AntoineRondelet

  committed
  fbce427

  Copy full SHA for fbce427

• Merge pull request #343 from clearmatics/zecale-support

  Show description for e6a41a5
  AntoineRondelet

  authored
  e6a41a5

  Copy full SHA for e6a41a5

Commits on Jan 20, 2021

• libzeth: clean up mimc gadgets and make interface consistent

  dtebbs

  committed
  46accdb

  Copy full SHA for 46accdb

• libzeth: support pb_linear_combination as input to mimc_mp

  dtebbs

  committed
  df2ba6d

  Copy full SHA for df2ba6d

Commits on Jan 22, 2021

• libzeth: input hasher gadget and test

  dtebbs

  committed
  23effc3

  Copy full SHA for 23effc3

• libzeth: immediate version of input hashing function

  dtebbs

  committed
  7e9db5e

  Copy full SHA for 7e9db5e

• client: abstract proto types behind prover_client interface

  dtebbs

  committed
  2d60a50

  Copy full SHA for 2d60a50

• prover_server: fix memory error

  dtebbs

  committed
  66f53f1

  Copy full SHA for 66f53f1

• libzecale: clean up circuit_wrapper and avoid recreating the full circuit for each invocation

  dtebbs

  committed
  8fec66a

  Copy full SHA for 8fec66a

• submodule: update libsnark to get some better memory protection

  dtebbs

  committed
  896685e

  Copy full SHA for 896685e

• libzeth: make joinsplit a bit more composable

  dtebbs

  committed
  026a12e

  Copy full SHA for 026a12e

• libzeth: comment about "experimental" code (review)

  dtebbs

  committed
  7090f48

  Copy full SHA for 7090f48

• libzeth: rename type parameter (review)

  dtebbs

  committed
  b38aa67

  Copy full SHA for b38aa67

Commits on Jan 29, 2021

• libzeth: update some comments about public vs primary inputs in joinsplit

  dtebbs

  committed
  d94a36a

  Copy full SHA for d94a36a

• Use hash of public joinsplit data as single primary input to zk-proof

  dtebbs

  committed
  9db934f

  Copy full SHA for 9db934f

• scripts: extend mimc_constraints script to BW6-761 and MNT4/6

  dtebbs

  committed
  b6d9784

  Copy full SHA for b6d9784

• submodule: update libsnark [compile-warnings]

  dtebbs

  committed
  adc91fc

  Copy full SHA for adc91fc

• Merge pull request #344 from clearmatics/input-hashing-prepare

  Show description for 024e9dc
  AntoineRondelet

  authored
  024e9dc

  Copy full SHA for 024e9dc

• Merge pull request #345 from clearmatics/input-hashing

  Show description for e423bde
  AntoineRondelet

  authored
  e423bde

  Copy full SHA for e423bde

• Set hex prefix flag to true and removed manual prefix

  AntoineRondelet

  committed
  daba226

  Copy full SHA for daba226

• scripts: use longer key for mpc server in tests (fixes sll error)

  dtebbs

  committed
  d33abf8

  Copy full SHA for d33abf8

• scripts: timeout waiting for mpc server

  dtebbs

  committed
  c843074

  Copy full SHA for c843074

• ci: add dependencies for building on ubuntu

  dtebbs

  committed
  acad712

  Copy full SHA for acad712

• prover_server: clean up some grpc dependency handling

  dtebbs

  committed
  738732c

  Copy full SHA for 738732c

• ci: cache submodule builds on mac, keyed by commit

  dtebbs

  committed
  588bbf2

  Copy full SHA for 588bbf2

Commits on Feb 1, 2021

• ci: excute part of linux build on ci host, caching grpc build

  dtebbs

  committed
  2c866c1

  Copy full SHA for 2c866c1

• Merge pull request #346 from clearmatics/fix-r1cs-serialization

  Show description for d1db76e
  AntoineRondelet

  authored
  d1db76e

  Copy full SHA for d1db76e

Commits on Feb 4, 2021

• ci: enable ccache where available

  dtebbs

  committed
  f3cfdad

  Copy full SHA for f3cfdad

• ci: use ccache to cache submodule builds on macos

  dtebbs

  committed
  220231f

  Copy full SHA for 220231f

• ci: run onpullrequest-build jobs natively using caches, and enable integration tests

  dtebbs

  committed
  46c95ee

  Copy full SHA for 46c95ee

• ci: support for integration tests in ci script

  dtebbs

  committed
  7333c68

  Copy full SHA for 7333c68

• ci: caching in onpush-checks jobs

  dtebbs

  committed
  c577144

  Copy full SHA for c577144

• ci: cache pip in code scanning job

  dtebbs

  committed
  fb63fd8

  Copy full SHA for fb63fd8

• ci: caching in onpush-build-ubuntu

  dtebbs

  committed
  ad4beee

  Copy full SHA for ad4beee

• ci: caching and mpc test in onpush-build-macos

  dtebbs

  committed
  93a8126

  Copy full SHA for 93a8126

• ci: split the prover and integration tests

  dtebbs

  committed
  3e51d2c

  Copy full SHA for 3e51d2c

• ci: disable ccache on linux

  dtebbs

  committed
  6970415

  Copy full SHA for 6970415

• ci: enable prover tests over all curves

  dtebbs

  committed
  3de3349

  Copy full SHA for 3de3349

• ci: cosmetic script tweaks

  dtebbs

  committed
  18bda78

  Copy full SHA for 18bda78

• update dispatch call for new form of vk_digest

  dtebbs

  committed
  a49ba8e

  Copy full SHA for a49ba8e

Commits on Feb 5, 2021

• Migrate docker build from DockerHub to GitHub Container Registry

  

  Aleksandr Poliakov

  committed
  ea0decd

  Copy full SHA for ea0decd

• remove tmp branch name from CI for docker build

  

  Aleksandr Poliakov

  committed
  d489ef9

  Copy full SHA for d489ef9

Commits on Feb 9, 2021

• Merge pull request #326 from clearmatics/ci-cache-test

  Show description for 42ffe31
  AntoineRondelet

  authored
  42ffe31

  Copy full SHA for 42ffe31

• Remove placeholder for tests

  

  Aleksandr Poliakov

  committed
  b5ede9a

  Copy full SHA for b5ede9a

• Merge pull request #350 from clearmatics/github-CR

  Show description for b39479e
  AntoineRondelet

  authored
  b39479e

  Copy full SHA for b39479e

Commits on Feb 10, 2021

• build(deps): bump cryptography from 3.2 to 3.3.2 in /client

  Show description for 68e8aed
  

  dependabot[bot]

  authored and

  AntoineRondelet

  committed
  68e8aed

  Copy full SHA for 68e8aed

• Merge pull request #349 from clearmatics/zecale-dispatch-update

  Show description for e082e0a
  AntoineRondelet

  authored
  e082e0a

  Copy full SHA for e082e0a

• Merge pull request #353 from clearmatics/dependabot/pip/client/cryptography-3.3.2

  Show description for 4f49e9e
  AntoineRondelet

  authored
  4f49e9e

  Copy full SHA for 4f49e9e

Commits on Feb 11, 2021

• update solidity compiler (0.8)

  dtebbs

  committed
  74fa702

  Copy full SHA for 74fa702

Commits on Feb 12, 2021

• Merge pull request #352 from clearmatics/zeth-solidity-update

  Show description for dbac91f
  AntoineRondelet

  authored
  dbac91f

  Copy full SHA for dbac91f

Commits on Feb 16, 2021

• ci: allow better reuse of some util functions

  dtebbs

  committed
  2da6126

  Copy full SHA for 2da6126

• ci: background launching

  dtebbs

  committed
  fde44b3

  Copy full SHA for fde44b3

• ci: recomment ccache

  dtebbs

  committed
  870a7fe

  Copy full SHA for 870a7fe

• Merge pull request #354 from clearmatics/ci-factoring

  Show description for c67fdca
  AntoineRondelet

  authored
  c67fdca

  Copy full SHA for c67fdca

Commits on Feb 22, 2021

• submodule: ganache-cli [v6.10.3-clearmatics]

  dtebbs

  committed
  0f77a97

  Copy full SHA for 0f77a97

Commits on Feb 26, 2021

• Merge pull request #347 from clearmatics/update-ganache-cli

  Show description for 38c0b78
  AntoineRondelet

  authored
  38c0b78

  Copy full SHA for 38c0b78

Commits on Apr 1, 2021

• libzeth: support writing constraint system from simple_test

  dtebbs

  committed
  e2b7262

  Copy full SHA for e2b7262

• libzeth: consistent naming of group elements serialization functions

  dtebbs

  committed
  de7d5b8

  Copy full SHA for de7d5b8

• libzeth: generic field element binary serialization functions

  dtebbs

  committed
  ed56105

  Copy full SHA for ed56105

• libzeth: support writing out test data from ec_operation_data_test

  dtebbs

  committed
  f524ec9

  Copy full SHA for f524ec9

• ganache-cli update [v6.10.4-clearmatics-prerelease] (build fix)

  dtebbs

  committed
  039fcbe

  Copy full SHA for 039fcbe

• submodule: update libsnark [compile-warnings]

  dtebbs

  committed
  2e86100

  Copy full SHA for 2e86100

• libzeth: clean up interface to r1cs serialization (user r1cs not protoboard, refs, inferrable type param)

  dtebbs

  committed
  23c3700

  Copy full SHA for 23c3700

• libzeth: rename some shared test functions

  dtebbs

  committed
  c594373

  Copy full SHA for c594373

• libzeth: constraint system serialization in binary format

  dtebbs

  committed
  68e0fad

  Copy full SHA for 68e0fad

Commits on Apr 6, 2021

• Merge pull request #362 from clearmatics/update-ganache

  Show description for a3c966d
  AntoineRondelet

  authored
  a3c966d

  Copy full SHA for a3c966d

Commits on Apr 12, 2021

• libzeth: support for binary serialization of r1cs assignments

  dtebbs

  committed
  0e71b60

  Copy full SHA for 0e71b60

• libzeth: util functions for serializing lists of group elements

  dtebbs

  committed
  9412a8e

  Copy full SHA for 9412a8e

• WIP: libzeth: binary serialization of proving and verification keys

  dtebbs

  committed
  593c25e

  Copy full SHA for 593c25e

• libzeth: make snark-specific serialization interface consistent with other functions. add tests.

  dtebbs

  committed
  abb7c0d

  Copy full SHA for abb7c0d

• libzeth: some generic collection serialization util functions. vector of group element serialization.

  dtebbs

  committed
  28d32ce

  Copy full SHA for 28d32ce

• libzeth: use more type-inference to simplify serialization function composability

  dtebbs

  committed
  38abe1e

  Copy full SHA for 38abe1e

• libzeth: write out binary snark object test data for compatibility tests

  dtebbs

  committed
  a2017ee

  Copy full SHA for a2017ee

• tests: support for writing out binary pk, vk and assignment for simple circuit

  dtebbs

  committed
  1b9bb12

  Copy full SHA for 1b9bb12

• libsnark: more versatile proving interface

  dtebbs

  committed
  f50e60b

  Copy full SHA for f50e60b

• libzeth: better encapsulation of simple_test

  dtebbs

  committed
  7a5050b

  Copy full SHA for 7a5050b

• libzeth: binary proof reader and writer

  dtebbs

  committed
  df8b28e

  Copy full SHA for df8b28e

• tests: write binary proof from simple_test

  dtebbs

  committed
  74c8324

  Copy full SHA for 74c8324

• verifier: simple app to verify generated proof against verification key

  dtebbs

  committed
  138adb5

  Copy full SHA for 138adb5

• some cosmetic changes

  dtebbs

  committed
  d3ed76b

  Copy full SHA for d3ed76b

Commits on Apr 14, 2021

• libzeth: write out full assignment from simple test

  dtebbs

  committed
  cb4b205

  Copy full SHA for cb4b205

• Merge pull request #358 from clearmatics/binary-serialization

  Show description for 676c386
  AntoineRondelet

  authored
  676c386

  Copy full SHA for 676c386

Commits on Apr 23, 2021

• libzeth: fix form of generated test data

  dtebbs

  committed
  be71d5e

  Copy full SHA for be71d5e

Commits on Apr 27, 2021

• Merge pull request #365 from clearmatics/fix-test-data

  Show description for 28d901e
  AntoineRondelet

  authored
  28d901e

  Copy full SHA for 28d901e

Commits on Apr 29, 2021

• Removed unused MerkleTreeSha256 contract which wasn't compiling

  AntoineRondelet

  committed
  787498f

  Copy full SHA for 787498f

• Renamed functions in Pairing library to avoid collisions with assembly instructions

  AntoineRondelet

  committed
  da1ad42

  Copy full SHA for da1ad42

• Removed useless visisbility for constructors

  AntoineRondelet

  committed
  d204cea

  Copy full SHA for d204cea

• Restricted hash functions to pure state mutability

  AntoineRondelet

  committed
  a4f8fe0

  Copy full SHA for a4f8fe0

• Renamed members in mixedCase

  AntoineRondelet

  committed
  5e9af73

  Copy full SHA for 5e9af73

• Fixed comment formatting and missing renamings

  AntoineRondelet

  committed
  51b6947

  Copy full SHA for 51b6947

• Switched public functions to external when possible to read straight from calldata

  AntoineRondelet

  committed
  51badde

  Copy full SHA for 51badde

• Fixed solidity linting issues and renamed functions in python tests

  AntoineRondelet

  committed
  c660695

  Copy full SHA for c660695

• Restricted verifyZkProof state mutability and added explicit public scope

  AntoineRondelet

  committed
  4d57e82

  Copy full SHA for 4d57e82

• Fixed name styling and renaiming loose scopes

  AntoineRondelet

  committed
  71872d9

  Copy full SHA for 71872d9

• Fixed inconsistent test function name

  AntoineRondelet

  committed
  77b4834

  Copy full SHA for 77b4834

• Removed useless and deprecated files

  AntoineRondelet

  committed
  fb950b6

  Copy full SHA for fb950b6

• Refined coding standards and cascaded changes to the code base

  AntoineRondelet

  committed
  4e863a0

  Copy full SHA for 4e863a0

• Fixed erroneous signature of verifyZkProof function in tests

  AntoineRondelet

  committed
  e1de582

  Copy full SHA for e1de582

• Refactored _contract_name function in zeth cli backend to match solidity renamings

  AntoineRondelet

  committed
  77b4298

  Copy full SHA for 77b4298

• Renamed python class to match new solidity contract name

  AntoineRondelet

  committed
  3bf2b7f

  Copy full SHA for 3bf2b7f

• Added requirement for virtual functions to be written last

  AntoineRondelet

  committed
  4b5921a

  Copy full SHA for 4b5921a

• Fixed erroneous renaming in comments

  AntoineRondelet

  committed
  dd5f6e7

  Copy full SHA for dd5f6e7

• Updated the coding standards as per the discussion with DT

  AntoineRondelet

  committed
  845123d

  Copy full SHA for 845123d

• Switched IERC20 to an interface

  AntoineRondelet

  committed
  f261a9c

  Copy full SHA for f261a9c

• Added compiler version to truffle config

  AntoineRondelet

  committed
  63fd3cd

  Copy full SHA for 63fd3cd

• Fixed missed prefix update for libraries in coding standards

  Show description for 93e36c6
  

  AntoineRondelet

  and

  dtebbs

  committed
  93e36c6

  Copy full SHA for 93e36c6

• libzeth: support for extracting full assignment from circuit wrapper

  dtebbs

  committed
  a2a563b

  Copy full SHA for a2a563b

• libzeth: output alt-bn128 and bls12-377 key and assignment data for simple circuit

  dtebbs

  committed
  48932a2

  Copy full SHA for 48932a2

• libzeth: whitespace fix

  dtebbs

  committed
  f405a39

  Copy full SHA for f405a39

• prover_server: support for dumping keys and assignment data

  dtebbs

  committed
  1b7a940

  Copy full SHA for 1b7a940

• Merge pull request #361 from clearmatics/contracts-cleanup

  Show description for 725cb88
  AntoineRondelet

  authored
  725cb88

  Copy full SHA for 725cb88

Commits on Apr 30, 2021

• libzeth: clearer naming of some mimc files

  dtebbs

  committed
  b759ca8

  Copy full SHA for b759ca8

• libzeth: support adding arbitrary lin comb to mimc round result

  dtebbs

  committed
  5d04060

  Copy full SHA for 5d04060

Commits on May 4, 2021

• libzeth: addition of arbitrary lc to mimc permutation without extra constraint

  dtebbs

  committed
  4a41cd6

  Copy full SHA for 4a41cd6

• libzeth: align mimc_mp gadget with description in zeth spec (remove unnecessary final constraint)

  dtebbs

  committed
  2602128

  Copy full SHA for 2602128

• update mimc constants in line with spec changes

  dtebbs

  committed
  cebda64

  Copy full SHA for cebda64

• libff: use e=17 in mimc tests, and check circuit non-satifiability for incorrect results

  dtebbs

  committed
  d2ffa77

  Copy full SHA for d2ffa77

• libzeth: remove some unused mimc round constants

  dtebbs

  committed
  a1c7e22

  Copy full SHA for a1c7e22

• libzeth: rename member

  dtebbs

  committed
  e873d19

  Copy full SHA for e873d19

Commits on May 5, 2021

• Merge pull request #369 from clearmatics/mimc-constants-update

  Show description for e5d9059
  AntoineRondelet

  authored
  e5d9059

  Copy full SHA for e5d9059

• Merge pull request #368 from clearmatics/prover-data-export

  Show description for a07a11a
  AntoineRondelet

  authored
  a07a11a

  Copy full SHA for a07a11a

Commits on May 6, 2021

• client: fall back to source install of solc if binary fails

  dtebbs

  committed
  3a23b18

  Copy full SHA for 3a23b18

• ci: copy alpine solc binary into client container

  dtebbs

  committed
  85d39d7

  Copy full SHA for 85d39d7

• Removed surrounding quotes in GA names for consistency

  AntoineRondelet

  committed
  d7a6420

  Copy full SHA for d7a6420

• Bumped version for Daric release

  AntoineRondelet

  committed
  7ea4562

  Copy full SHA for 7ea4562

• Merge pull request #371 from clearmatics/tmp-docker-ci-fix

  Show description for 95b8161
  AntoineRondelet

  authored
  95b8161

  Copy full SHA for 95b8161

• Merge pull request #372 from clearmatics/remove-quotes-GA-names

  Show description for 22af44a
  AntoineRondelet

  authored
  22af44a

  Copy full SHA for 22af44a

• Merge pull request #374 from clearmatics/v0.7-version-bump

  Show description for e1e5e2e
  AntoineRondelet

  authored
  e1e5e2e

  Copy full SHA for e1e5e2e

• Revert "client: fall back to source install of solc if binary fails"

  Show description for 3849994
  dtebbs

  committed
  3849994

  Copy full SHA for 3849994

• Merge pull request #375 from clearmatics/tmp-docker-ci-fix

  Show description for 3ae3e20
  AntoineRondelet

  authored
  3ae3e20

  Copy full SHA for 3ae3e20