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
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
f255a43
Add decryption statements to logproof
samtay Feb 14, 2024
180cc49
Fix bug in matrix serialization
samtay Feb 14, 2024
647343f
Add decryptions to log proof builder
samtay Feb 14, 2024
5e2cb55
Isolate the hack to logproof::bfv_statement
samtay Feb 14, 2024
bf5ce9b
Make linkedproof example much more detailed
samtay Feb 15, 2024
562ceb7
Dont unnecessarily compile programs twice
samtay Feb 15, 2024
b2c34cb
Demonstrate decryption statement proof error
samtay Feb 15, 2024
1efca11
Fix ledger output
samtay Feb 15, 2024
43508ed
Let Log2 take `self`
samtay Feb 15, 2024
559bcbd
Fix infinity norm
samtay Feb 16, 2024
9f888ab
Export noise from seal and add assertions
samtay Feb 16, 2024
9591038
Merge remote-tracking branch 'origin/main' into samtay/hack-decrypt-s…
samtay Feb 19, 2024
3c81995
Fix repeated messages after decryption bug
samtay Feb 20, 2024
cd9f36a
Remove the ability to decrypt existing messages
samtay Feb 20, 2024
4d1dbcc
Re-enable test now that it is fixed
samtay Feb 20, 2024
3a4c6fd
Revert debugging and seal updates
samtay Feb 20, 2024
1d2c5b6
Ensure that CI checks on sunscreen_tfhe's logproof usage
samtay Feb 20, 2024
fd70d9b
Update TFHE logproof bounds to use bits
samtay Feb 20, 2024
a49b091
Fixup private tx example now that decryptions are fixed
samtay Feb 20, 2024
e385b2c
Rm unused dep
samtay Feb 20, 2024
621a41b
Rm old lock file
samtay Feb 20, 2024
d898ad2
Make the example running time more reasonable
samtay Feb 20, 2024
53abd43
Rm todo
samtay Feb 20, 2024
3470df3
Rm unnecessary cast
samtay Feb 20, 2024
f7a4ca0
Rm unnecessary cast
samtay Feb 20, 2024
029ee49
Fix overflow in bounds calculation
samtay Feb 20, 2024
76138c2
Dont calculate modulus within ZqRistretto
samtay Feb 20, 2024
10e74e1
Favor checked arithmetic in the bounds sum as well
samtay Feb 20, 2024
cadb800
Fix error bound to delta/2 not q/2
samtay Feb 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
6 changes: 3 additions & 3 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -52,11 +52,11 @@ jobs:
- name: Core compile check
run: cargo check --release
- name: Full compile check
run: cargo check --release --features deterministic,linkedproofs
run: cargo check --release --features deterministic,linkedproofs,logproof

# Build and run the tests
- name: Build and run tests
run: cargo test --workspace --verbose --release --features deterministic,linkedproofs
run: cargo test --workspace --verbose --release --features deterministic,linkedproofs,logproof

# Build package in prep for user docs
- name: Build sunscreen and bincode
Expand Down Expand Up @@ -114,7 +114,7 @@ jobs:
- name: Cargo doc
env:
RUSTDOCFLAGS: -D warnings
run: cargo doc --release --no-deps --features bulletproofs,linkedproofs
run: cargo doc --release --no-deps --features bulletproofs,linkedproofs,logproof
emscripten:
runs-on: linux-8core
steps:
Expand Down
2 changes: 2 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 0 additions & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -83,7 +83,6 @@ link-cplusplus = "1.0.9"
cmake = "0.1.46"
bindgen = "0.66.1"
once_cell = "1.18.0"
num_cpus = "1.16.0"
rlp = "0.5.2"
fs_extra = "1.2.0"
reqwest = { version = "0.11.10", features = ["blocking"] }
Expand Down
2 changes: 2 additions & 0 deletions examples/private_tx_linkedproof/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -5,3 +5,5 @@ edition = "2021"

[dependencies]
sunscreen = { path = "../../sunscreen", features = ["linkedproofs"] }
env_logger = { workspace = true }
once_cell = { workspace = true }
Loading
Loading