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.

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

Decrypt statements #348

Merged
merged 29 commits into from
Feb 20, 2024
Merged

Decrypt statements #348

merged 29 commits into from
Feb 20, 2024

Commits on Feb 14, 2024

  1. Add decryption statements to logproof

    Add these as a separate variant from private key encryptions, since they
    are created and bounded differently. Since we bound the error term by
    half the ciphertext modulus, this commit also changes the bounds to be
    specified by number of bits.
    samtay committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    f255a43 View commit details
    Browse the repository at this point in the history
  2. Fix bug in matrix serialization

    For polynomials with zero coefficients exceeding degree bound
    samtay committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    180cc49 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    647343f View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    5e2cb55 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2024

  1. Configuration menu
    Copy the full SHA
    bf5ce9b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    562ceb7 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    b2c34cb View commit details
    Browse the repository at this point in the history
  4. Fix ledger output

    samtay committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    1efca11 View commit details
    Browse the repository at this point in the history
  5. Let Log2 take self

    Taking Self was weird. Call sites don't need to be updated as
    calling associated `Log2::method(x)` is still valid, just a weird thing
    to enforce.
    samtay committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    43508ed View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2024

  1. Fix infinity norm

    This would previously give very large norms values for small negative values close to the negative cutoff
    samtay committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    559bcbd View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    9f888ab View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2024

  1. Configuration menu
    Copy the full SHA
    9591038 View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2024

  1. Fix repeated messages after decryption bug

    Silly mistake but easy to miss: we were storing the message to repeat as a _freshly encoded_ plaintext. The values match, but not the underlying messages! Fix to use the actual plaintext coming out of the decryption, which is not a fresh encoding.
    samtay committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    3c81995 View commit details
    Browse the repository at this point in the history
  2. Remove the ability to decrypt existing messages

    As implemented, this would have almost never been used correctly. The
    user would have had to ensure that the existing plaintext message had
    the same plaintext polynomial encoding as the provided ciphertext. This
    would generally only be true if both were fresh encryptions, in which
    case this method is not even necessary.
    samtay committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    cd9f36a View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    4d1dbcc View commit details
    Browse the repository at this point in the history
  4. Revert debugging and seal updates

    But keep the AS=T debug assertion
    samtay committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    3a4c6fd View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    1d2c5b6 View commit details
    Browse the repository at this point in the history
  6. Update TFHE logproof bounds to use bits

    Also use u32 over u64, as std::lib does for various "bit length" operations like Shl, log2, et.
    samtay committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    fd70d9b View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    a49b091 View commit details
    Browse the repository at this point in the history
  8. Rm unused dep

    samtay committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    e385b2c View commit details
    Browse the repository at this point in the history
  9. Rm old lock file

    samtay committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    621a41b View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    d898ad2 View commit details
    Browse the repository at this point in the history
  11. Rm todo

    samtay committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    53abd43 View commit details
    Browse the repository at this point in the history
  12. Rm unnecessary cast

    samtay committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    3470df3 View commit details
    Browse the repository at this point in the history
  13. Rm unnecessary cast

    samtay committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    f7a4ca0 View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    029ee49 View commit details
    Browse the repository at this point in the history
  15. Dont calculate modulus within ZqRistretto

    And fail fast if calculating the modulus overflows
    samtay committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    76138c2 View commit details
    Browse the repository at this point in the history
  16. Configuration menu
    Copy the full SHA
    10e74e1 View commit details
    Browse the repository at this point in the history
  17. Configuration menu
    Copy the full SHA
    cadb800 View commit details
    Browse the repository at this point in the history