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

[docs] Add ciphertext validity proof docs #1776

Merged
merged 3 commits into from
Jun 21, 2024
Merged

[docs] Add ciphertext validity proof docs #1776

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
6573c08
docs: add ciphertext validity proof docs
samkim-crypto Jun 18, 2024
c8766cc
update docs link to anza's
samkim-crypto Jun 18, 2024
2363ebd
remove extra space at the end of line
samkim-crypto Jun 20, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Binary file added docs/src/runtime/zk-docs/ciphertext_validity.pdf
View file
Open in desktop
Binary file not shown.
9 changes: 9 additions & 0 deletions docs/src/runtime/zk-elgamal-proof.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -122,3 +122,12 @@ proofs.
ciphertexts encrypt the same message.
- Mathematical description and proof of security:
[[Notes]](https://github.com/solana-labs/solana/blob/master/docs/src/runtime/zk-docs/ciphertext_ciphertext_equality.pdf)

#### Ciphertext Validity proofs

- `VerifyGroupedCiphertextValidity`:

- The grouped ciphertext validity proof certifies that a grouped ElGamal
cipehrtext is well-formed
- Mathematical description and proof of security:
[[Notes]](https://github.com/solana-labs/solana/blob/master/docs/src/runtime/zk-docs/ciphertext_validity.pdf)
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should this point to agave sources? I don't know if this change will immediately get propagated to the solana repo

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh yes, I guess I should update the rest of the links as well.