Skip to content

Circuit: ZSA Mux + CM#9

Closed
naure wants to merge 17 commits intozsa1from
zsa-mux
Closed

Circuit: ZSA Mux + CM#9
naure wants to merge 17 commits intozsa1from
zsa-mux

Conversation

@naure
Copy link

@naure naure commented Jul 7, 2022

Depends on QED-it/halo2#2

  • Introduces the multiplexer chip.
  • Introduce the variable to select native vs ZSA, and the note_type.

@naure naure changed the base branch from main to zsa1 July 7, 2022 07:56
PaulLaux and others added 3 commits July 18, 2022 12:03
* Added .circleci/config.yml
Implements the issuer keys as

    IssuerAuthorizingKey -> isk
    IssuerVerifyingKey -> ik

Test vectors generated with zcash_test_vectors repo
* Added NoteType to Notes
* Added NoteType to value commitment derivation
* Circleci project setup (#1)

* Added .circleci/config.yml

* Added NoteType to Notes

* reformated file

* updated `derive` for NoteType

* added note_type to value commit derivation

* rustfmt

* updated ci config

* updated ci config

* updated ci config

* updated derive for note_type

* added test for arb note_type

* added test for `native` note type

* zsa-note-encryption: introduce AssetType and encode and decode it in note plaintexts

* zsa-note-encryption: extend the size of compact notes to include asset_type

* fixed clippy warrnings

* rustfmt

* zsa-note-encryption: document parsing requirement

* zsa-note-encryption: revert support of ZSA compact action

* zsa_value: add NoteType method is_native

* zsa-note-encryption: remove dependency on changes in the other crate

* zsa-note-encryption: extract memo of ZSA notes

* zsa-note-encryption: tests (zcash_test_vectors 77c73492)

* zsa-note-encryption: simplify roundtrip test

* zsa-note-encryption: more test vectors (zcash_test_vectors c10da464)

* Circleci project setup (#1)

* Added .circleci/config.yml

* issuer keys implementation (#5)

Implements the issuer keys as

    IssuerAuthorizingKey -> isk
    IssuerVerifyingKey -> ik

Test vectors generated with zcash_test_vectors repo

* Added NoteType to Notes (#2)

* Added NoteType to Notes
* Added NoteType to value commitment derivation

* zsa-note-encryption: use both native and ZSA in proptests

* zsa-note-encryption: test vector commit 51398c93

* zsa-note-encryption: fix after merge

Co-authored-by: Paul <3682187+PaulLaux@users.noreply.github.com>
Co-authored-by: Paul <lauxpaul@protonmail.com>
Co-authored-by: Aurélien Nicolas <info@nau.re>
Co-authored-by: Daniel Benarroch <danielbenarroch92@gmail.com>
@naure naure marked this pull request as ready for review August 21, 2022 11:28
@naure naure marked this pull request as draft August 21, 2022 22:02
@naure naure marked this pull request as ready for review August 28, 2022 09:15
PaulLaux and others added 2 commits September 19, 2022 13:26
+ Updated test bsk_consistent_with_bvk to verify mixed note types.
+ Added NoteType support to the builder and the bundle.
+ added split_flag to SpentInfo and as input to the Circuit (currently commented out)
+ added conditional cv_sum calculation (currently commented out)
+ added padding to actions
naure and others added 4 commits September 25, 2022 16:30
* zsa-mux: draft note_type into hash

* zsa-hash-note-type: calculate the value of h_2 for native/ZSA

* zsa-hash-note-type: recompose note_type from hash parts

* zsa-hash-note-type: decomposition check but not canonicity check

* zsa-hash-note-type: remove canonicity check of note_type

* zsa-hash-note-type: remove unused canonicity check variables

* zsa-hash-note-type: fix lint

Co-authored-by: Aurélien Nicolas <info@nau.re>
Co-authored-by: Aurélien Nicolas <info@nau.re>
@naure naure changed the title ZSA Multiplexer ZSA Mux + CM Sep 26, 2022
@PaulLaux PaulLaux force-pushed the zsa1 branch 2 times, most recently from 5ec6aee to 9405f80 Compare December 6, 2022 19:04
@PaulLaux PaulLaux changed the title ZSA Mux + CM Circuit: ZSA Mux + CM Feb 9, 2023
@PaulLaux
Copy link
Collaborator

closed in favor of #56

@PaulLaux PaulLaux closed this May 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants