Code

DSC/CSCA verification - prover#143

Code

Merged

remicolin merged 59 commits intodevzk-passport/openpassport:devfrom csca-mergezk-passport/openpassport:csca-mergeCopy head branch name to clipboardJun 30, 2024

+353,426-1,071,407

Commits

Commits on Jun 15, 2024

• add mock certificates

  remicolin

  committed
  2626994

  Copy full SHA for 2626994

Commits on Jun 16, 2024

• add dsc circuit and test

  remicolin

  committed
  c0d77c5

  Copy full SHA for c0d77c5

• add dsc modulus check in dsc.circom

  remicolin

  committed
  557dca4

  Copy full SHA for 557dca4

Commits on Jun 17, 2024

• create splitToWords circuit, use it to cast dsc_modulus at the right format before assertion

  remicolin

  committed
  82da2c5

  Copy full SHA for 82da2c5

• adapt dsc.circom to support different dsc/csca key size

  remicolin

  committed
  4b94f54

  Copy full SHA for 4b94f54

Commits on Jun 18, 2024

• comment splitBytesToWords circuit

  remicolin

  committed
  a6b32c3

  Copy full SHA for a6b32c3

• Merge pull request #133 from zk-passport/dev

  Show description for 806e585
  remicolin

  authored
  806e585

  Copy full SHA for 806e585

Commits on Jun 20, 2024

• refactor some code, generate dsc verification inputs in app, update dsc.circom and tests

  remicolin

  committed
  5a773a4

  Copy full SHA for 5a773a4

• clean certs

  remicolin

  committed
  2f547b7

  Copy full SHA for 2f547b7

• skip 6144 bits modulus csca certificates in mapAPKItoModulus.py

  remicolin

  committed
  8a2e0e7

  Copy full SHA for 8a2e0e7

• add mock_csca.txt

  remicolin

  committed
  c9970b4

  Copy full SHA for c9970b4

• implement merkle tree check on csca modulus

  remicolin

  committed
  07e8d13

  Copy full SHA for 07e8d13

• add build_dsc_circuit.sh script

  remicolin

  committed
  e16c136

  Copy full SHA for e16c136

Commits on Jun 22, 2024

• fix splitSignalsToWords circuit

  remicolin

  committed
  0e053c6

  Copy full SHA for 0e053c6

• split the set-up in two proofs

  remicolin

  committed
  b99d193

  Copy full SHA for b99d193

• update smart contracts with the new two proofs set-up

  remicolin

  committed
  501020b

  Copy full SHA for 501020b

Commits on Jun 23, 2024

• retrieve document signing certificate on nfc android module

  remicolin

  committed
  1b61a19

  Copy full SHA for 1b61a19

• add csca server proving (commented) and change register zkey (error during proving)

  remicolin

  committed
  13c8a87

  Copy full SHA for 13c8a87

• remove requirement that zkey url must have exact name of circuit

  0xturboblitz

  committed
  2b1c202

  Copy full SHA for 2b1c202

• pushing new witness generators

  0xturboblitz

  committed
  48c301f

  Copy full SHA for 48c301f

• sourcing common.sh script directly

  0xturboblitz

  committed
  e18a127

  Copy full SHA for e18a127

• loop structure in witness gen build scripts

  Show description for 42dfd88
  0xturboblitz

  committed
  42dfd88

  Copy full SHA for 42dfd88

Commits on Jun 24, 2024

• update contracts

  remicolin

  committed
  cb2a5e9

  Copy full SHA for cb2a5e9

• onboard merkle tree serialization

  remicolin

  committed
  f94065a

  Copy full SHA for f94065a

• update dsc.circom

  remicolin

  committed
  1fd8720

  Copy full SHA for 1fd8720

• update app to new circuits

  remicolin

  committed
  97ce160

  Copy full SHA for 97ce160

• add script to debug on-chain verifier

  remicolin

  committed
  3ce51d0

  Copy full SHA for 3ce51d0

• clean imports in Verifier_dsc_4096.ts

  remicolin

  committed
  1f0e1bf

  Copy full SHA for 1f0e1bf

• init repo, add modal app.py and prover.sh

  remicolin

  committed
  e0c58ad

  Copy full SHA for e0c58ad

Commits on Jun 25, 2024

• generate proof with snarkjs, build image from Dockerfile

  remicolin

  committed
  2f11073

  Copy full SHA for 2f11073

• add test script

  remicolin

  committed
  a9c38f4

  Copy full SHA for a9c38f4

• add README, .gitignore, launch_prover.sh

  remicolin

  committed
  c50fdef

  Copy full SHA for c50fdef

• update constants.ts with new url

  remicolin

  committed
  c6ed2cc

  Copy full SHA for c6ed2cc

• update README.md

  remicolin

  committed
  c5c29d9

  Copy full SHA for c5c29d9

• update proof casting

  remicolin

  committed
  0ceff2c

  Copy full SHA for 0ceff2c

• Merge pull request #137 from zk-passport/modal

  Show description for e2f0af4
  remicolin

  authored
  e2f0af4

  Copy full SHA for e2f0af4

• update prover repo set-up

  remicolin

  committed
  ab64b99

  Copy full SHA for ab64b99

• add toast message when registered

  remicolin

  committed
  b9ca523

  Copy full SHA for b9ca523

• update delay between text on register button changes

  remicolin

  committed
  6c196a6

  Copy full SHA for 6c196a6

• add toast message on register (from userstore too)

  remicolin

  committed
  9a04c0d

  Copy full SHA for 9a04c0d

• update disclose zkkey download url

  remicolin

  committed
  28669f6

  Copy full SHA for 28669f6

• update commitment_tree_tracker url

  remicolin

  committed
  fb4a2a6

  Copy full SHA for fb4a2a6

• update Verifier_disclose.sol

  remicolin

  committed
  2998578

  Copy full SHA for 2998578

• update deployed contract address

  remicolin

  committed
  96ec1a4

  Copy full SHA for 96ec1a4

Commits on Jun 29, 2024

• Merge remote-tracking branch 'origin/dev' into csca

  remicolin

  committed
  557fc74

  Copy full SHA for 557fc74

• merge with dev

  remicolin

  committed
  0ac3fa8

  Copy full SHA for 0ac3fa8

• pushing working witness gen

  0xturboblitz

  committed
  e8a84aa

  Copy full SHA for e8a84aa

• update rpc url

  remicolin

  committed
  b9eecad

  Copy full SHA for b9eecad

• pushing disclose witness gen

  0xturboblitz

  committed
  05a8f17

  Copy full SHA for 05a8f17

Commits on Jun 30, 2024

• delete useless certificates

  remicolin

  committed
  b762205

  Copy full SHA for b762205

• update new disclose zkey

  remicolin

  committed
  bdf8111

  Copy full SHA for bdf8111

• update toast message

  remicolin

  committed
  f24d78f

  Copy full SHA for f24d78f

• refactor some code, allow dsc verification with mock passport data

  remicolin

  committed
  f433bf8

  Copy full SHA for f433bf8

• change mockCertificate file name

  remicolin

  committed
  99e9969

  Copy full SHA for 99e9969

• add zip_circuits.sh script

  remicolin

  committed
  ade5d31

  Copy full SHA for ade5d31

• decomment some tests, update revert in contracts

  remicolin

  committed
  51b81f6

  Copy full SHA for 51b81f6

• clean code

  remicolin

  committed
  4661bd2

  Copy full SHA for 4661bd2

• remove disclose.cpp

  remicolin

  committed
  83d24fb

  Copy full SHA for 83d24fb

• use randomness to generate throw away dsc secret

  remicolin

  committed
  aedbd79

  Copy full SHA for aedbd79