Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

DSC/CSCA verification - prover #143

Merged
merged 59 commits into from
Jun 30, 2024
Merged

DSC/CSCA verification - prover #143

merged 59 commits into from
Jun 30, 2024

Conversation

remicolin
Copy link
Member

@remicolin remicolin commented Jun 30, 2024 •
edited
Loading

Add two major features:

  • DSC verification against CSCA - sha256 with RSA encryption, key length < 4096 bits
  • prover running on Modal server to generate the DSC verification proof

Other implementations:

  • creation of splitBytesToWords and splitSignalsToWords circuits
  • update of leaf generation with new leafHasher circuit
  • new scripts for registry
  • update of contracts test logic
  • add mock dsc/csca certificates

remicolin and others added 30 commits June 15, 2024 22:20
@remicolin
add mock certificates
2626994
@remicolin
add dsc circuit and test
c0d77c5
@remicolin
add dsc modulus check in dsc.circom
557dca4
@remicolin
create splitToWords circuit, use it to cast dsc_modulus at the right …
82da2c5 
…format before assertion
@remicolin
adapt dsc.circom to support different dsc/csca key size
4b94f54
@remicolin
comment splitBytesToWords circuit
a6b32c3
@remicolin
Merge pull request #133 from zk-passport/dev
806e585 
merge dev changes
@remicolin
refactor some code, generate dsc verification inputs in app, update d…
5a773a4 
…sc.circom and tests
@remicolin
clean certs
2f547b7
@remicolin
skip 6144 bits modulus csca certificates in mapAPKItoModulus.py
8a2e0e7
@remicolin
add mock_csca.txt
c9970b4
@remicolin
implement merkle tree check on csca modulus
07e8d13
@remicolin
add build_dsc_circuit.sh script
e16c136
@remicolin
fix splitSignalsToWords circuit
0e053c6
@remicolin
split the set-up in two proofs
b99d193
@remicolin
update smart contracts with the new two proofs set-up
501020b
@remicolin
retrieve document signing certificate on nfc android module
1b61a19
@remicolin
add csca server proving (commented) and change register zkey (error d…
13c8a87 
…uring proving)
@0xturboblitz
remove requirement that zkey url must have exact name of circuit
2b1c202
@0xturboblitz
pushing new witness generators
48c301f
@0xturboblitz
sourcing common.sh script directly
e18a127
@0xturboblitz
loop structure in witness gen build scripts
42dfd88 
- single source of circuit names in common.sh
@remicolin
update contracts
cb2a5e9
@remicolin
onboard merkle tree serialization
f94065a
@remicolin
update dsc.circom
1fd8720
@remicolin
update app to new circuits
97ce160
@remicolin
add script to debug on-chain verifier
3ce51d0
@remicolin
clean imports in Verifier_dsc_4096.ts
1f0e1bf
@remicolin
init repo, add modal app.py and prover.sh
e0c58ad
@remicolin
generate proof with snarkjs, build image from Dockerfile
2f11073
remicolin and others added 25 commits June 25, 2024 12:00
@remicolin
update proof casting
0ceff2c
@remicolin
Merge pull request #137 from zk-passport/modal
e2f0af4 
Add modal prover to main repo
@remicolin
update prover repo set-up
ab64b99
@remicolin
add toast message when registered
b9ca523
@remicolin
update delay between text on register button changes
6c196a6
@remicolin
add toast message on register (from userstore too)
9a04c0d
@remicolin
update disclose zkkey download url
28669f6
@remicolin
update commitment_tree_tracker url
fb4a2a6
@remicolin
update Verifier_disclose.sol
2998578
@remicolin
update deployed contract address
96ec1a4
@remicolin
Merge remote-tracking branch 'origin/dev' into csca
557fc74
@remicolin
merge with dev
0ac3fa8
@0xturboblitz
pushing working witness gen
e8a84aa
@remicolin
update rpc url
b9eecad
@0xturboblitz
pushing disclose witness gen
05a8f17
@remicolin
delete useless certificates
b762205
@remicolin
update new disclose zkey
bdf8111
@remicolin
update toast message
f24d78f
@remicolin
refactor some code, allow dsc verification with mock passport data
f433bf8
@remicolin
change mockCertificate file name
99e9969
@remicolin
add zip_circuits.sh script
ade5d31
@remicolin
decomment some tests, update revert in contracts
51b81f6
@remicolin
clean code
4661bd2
@remicolin
remove disclose.cpp
83d24fb
@remicolin
use randomness to generate throw away dsc secret
aedbd79
@remicolin remicolin marked this pull request as ready for review June 30, 2024 20:44
@remicolin remicolin changed the title Csca merge DSC/CSCA verification - prover Jun 30, 2024
@remicolin
Copy link
Member Author

close #37 for sha256 with rsa encryption csca certificates with a key < 4096 bits

@remicolin remicolin merged commit 332189b into dev Jun 30, 2024
@remicolin remicolin deleted the csca-merge branch June 30, 2024 21:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@remicolin @0xturboblitz