a47b76afcc
zk-token-sdk: add verify transfer with fee instruction ( #22924 )
2022-02-04 08:52:49 -05:00
65f8f43665
Zk instructions pass ( #22851 )
...
* zk-token-sdk: re-organize transcript
* zk-token-sdk: add pod ElGamal group encryption
* zk-token-sdk: add transcript domain separators for sigma proofs
* zk-token-sdk: clean up transfer tx decryption
* zk-token-sdk: resolve encoding issues for transfer
* zk-token-sdk: fix transfer test
* zk-token-sdk: clean up transcript for close account and withdraw instructions
* zk-token-sdk: add transfer with fee instruction
* zk-token-sdk: add transfer with fee instruction
* zk-token-sdk: add pod for cryptographic structs needed for fee
* zk-token-sdk: add pod for fee sigma proof
* zk-token-sdk: fix test for transfer with fee instruction
* zk-token-sdk: add range proof verification for transfer with fee
* zk-token-sdk: add transfer amount decryption for transfer-with-fee
* zk-token-sdk: add proof generation error for instruction
* zk-token-sdk: cargo fmt and clippy
* zk-token-sdk: fix bpf build
2022-02-01 14:11:28 -05:00
5cef4c0a4c
Sigma pass ( #22801 )
...
* zk-token-sdk: add zeroize and reference arithmetic to zero-balance proof
* zk-token-sdk: add zeroize and reference arithmetic to equality proof
* zk-token-sdk: add zeroize and reference arithmetic to validity proof
* zk-token-sdk: add aggregated validity proof
* zk-token-sdk: use subtle choice for fee
* zk-token-sdk: add test for fee proof
* zk-token-sdk: add documentation for sigma protocols
* zk-token-sdk: add edge case tests for equality proof
* zk-token-sdk: add edge case tests for zero-balance proof
* zk-token-sdk: add edge case tests for validity proof
* zk-token-sdk: add some docs for fee sigma proof
* zk-token-sdk: clippy
2022-01-27 19:53:15 -05:00
66b44b48a4
chore: remove time dep ( #22665 )
...
* chore: bump time from 0.3.5 to 0.3.6
Bumps [time](https://github.com/time-rs/time ) from 0.3.5 to 0.3.6.
- [Release notes](https://github.com/time-rs/time/releases )
- [Changelog](https://github.com/time-rs/time/blob/main/CHANGELOG.md )
- [Commits](https://github.com/time-rs/time/compare/v0.3.5...v0.3.6 )
---
updated-dependencies:
- dependency-name: time
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
* Remove separate time dependency
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Tyera Eulberg <tyera@solana.com>
2022-01-25 16:30:21 -07:00
d8cbb2a952
Elgamal pass ( #22632 )
...
* zk-token-sdk: change G and H to static and optimize pedersen arithmetic
* zk-token-sdk: remove unnecessary copy in elgamal arithmetic
* zk-token-sdk: fix elgamal tests for new syntax
* zk-token-sdk: use lazy-static for pedersen base
* zk-token-sdk: add dlog test for elgamal decryption
* zk-token-sdk: reflect changes in elgamal in the rest of the sdk
* zk-token-sdk: rustfmt and clippy
* zk-token-sdk: some documentation for elgamal and pedersen
* zk-token-sdk: minor remove whitespace
* zk-token-sdk: update lock files
* zk-token-sdk: change random() to new_rand()
* zk-token-sdk: add explanation for suppressing clippy::op_ref
2022-01-21 20:56:27 -05:00
7be533a770
Add zeroed default for ElGamalCiphertext ( #22639 )
2022-01-21 19:52:36 +00:00
41fb98c771
zk-token_sdk: define defaults for pod ElGamal/AES ciphertexts ( #22532 )
2022-01-20 16:27:31 -05:00
0869f644fc
Bump merlin from 2.0.1 to 3.0.0 ( #22331 )
...
* Bump merlin from 2.0.1 to 3.0.0
Bumps [merlin](https://github.com/zkcrypto/merlin ) from 2.0.1 to 3.0.0.
- [Release notes](https://github.com/zkcrypto/merlin/releases )
- [Changelog](https://github.com/zkcrypto/merlin/blob/main/CHANGELOG.md )
- [Commits](https://github.com/zkcrypto/merlin/compare/2.0.1...3.0.0 )
---
updated-dependencies:
- dependency-name: merlin
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
* [auto-commit] Update all Cargo lock files
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: dependabot-buildkite <dependabot-buildkite@noreply.solana.com>
2022-01-10 11:18:15 -07:00
9cb27613c3
Don't accidentally commit farf ( #22349 )
2022-01-06 17:24:33 -07:00
705084a25b
zk-token-sdk: rustfmt
2022-01-06 11:18:06 -05:00
f81f926a0c
zk-token-sdk: fix transfer verification / set up for fee proof ( #22337 )
2022-01-06 11:01:27 -05:00
bc654bf865
feat: add error types for each sigma protocol ( #22336 )
2022-01-06 08:10:37 -05:00
005ca7759e
Remove stray printlns
2022-01-05 16:49:47 -08:00
69e632a337
Adapt zk-token-{sdk,proof-program} for use in the monorepo
2022-01-05 08:51:18 -08:00
1a254ec098
feat: use proper constructor syntax for inner product
2022-01-05 08:51:18 -08:00
5b41d62f8a
feat: fix clippy for new error types
2022-01-05 08:51:18 -08:00
0944abc0e2
feat: update error types for sdk
2022-01-05 08:51:18 -08:00
1cbcda71cb
feat: add separate error types for sigma proofs
2022-01-05 08:51:18 -08:00
7439d2424b
feat: add a separate TranscriptError
2022-01-05 08:51:18 -08:00
a211fe1cf4
feat: add errors for range proof module
2022-01-05 08:51:18 -08:00
e1d3883893
feat: clean up range proof constructor
2022-01-05 08:51:18 -08:00
826c3bee4a
feat: add verification for fee proof
2022-01-05 08:51:18 -08:00
e561fbc25a
feat: add test for fee proof
2022-01-05 08:51:18 -08:00
bc7ac42f2a
feat: proof generation for max and equality proof
2022-01-05 08:51:18 -08:00
601247d958
feat: add zk-proof certifying that a ciphertext encrypts specified max fee value
2022-01-05 08:51:18 -08:00
beb95c4884
Allow publish
2022-01-05 08:51:18 -08:00
08ef612361
refactor: add mod.rs for sigma_proofs
2022-01-05 08:51:18 -08:00
584c63bcc4
refactor: CloseAccount now uses zero-balance-proof
2022-01-05 08:51:18 -08:00
c26fa1d0e9
refactor: create pod struct for ZeroBalanceProof
2022-01-05 08:51:18 -08:00
208621e3cf
refactor: create a separate zero-balance-proof for CloseAccount instruction
2022-01-05 08:51:18 -08:00
c6cd0a5591
refactor: group equality and validity proofs in sigma_proofs module
2022-01-05 08:51:18 -08:00
e011502875
Update to Rust 2021 edition
2022-01-05 08:51:18 -08:00
8ee07cd5c6
Update to Solana 1.9.1
2022-01-05 08:51:18 -08:00
31737406da
Adapt to changes to native program entrypoint
2022-01-05 08:51:18 -08:00
93860e88d2
Update to Solana 1.9.0
2022-01-05 08:51:18 -08:00
9a43fbe3b2
clean up authenticated encryption implementation and also rename aes to auth_encryption
2022-01-05 08:51:18 -08:00
7a568482de
cargo fmt and fix clippy
2022-01-05 08:51:18 -08:00
30871784e4
incorporate validity proof into transfer proof
2022-01-05 08:51:18 -08:00
c7bf9958e7
add validity proof serialization and deserialization
2022-01-05 08:51:18 -08:00
725781eaa7
add validity proof generation and verification
2022-01-05 08:51:18 -08:00
dcc961ae00
fix clippy for the updated transfer
2022-01-05 08:51:18 -08:00
ccdbe65c87
cleaning up transfer proof
2022-01-05 08:51:18 -08:00
30e12aef9a
Update withdraw instruction to use equality proof
2022-01-05 08:51:18 -08:00
6c329e2431
add equality proof struct
2022-01-05 08:51:18 -08:00
f0db6020eb
updating close account zk proof
2022-01-05 08:51:18 -08:00
aba8c2f4af
reformat imports
2022-01-05 08:51:18 -08:00
c61775664e
Add decrypt helper function
2022-01-05 08:51:18 -08:00
69fab16e83
ElGamalKeypair::new() now generates valid keypairs
2022-01-05 08:51:18 -08:00
88ce934bd7
Derive thiserror::Error for ProofError
2022-01-05 08:51:18 -08:00
2c51288afd
Add Copy to Role
2022-01-05 08:51:18 -08:00
samkim-crypto
dependabot[bot]
Tyera Eulberg
Michael Vines