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

Adding centralised alba (bounded scheme) #33

Merged
merged 90 commits into from
Nov 1, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
90 commits
Select commit Hold shift + click to select a range
a46d61e
Extending .gitignore
rrtoledo Oct 8, 2024
5f7d362
Caledonia: Adding centralised bounded scheme
rrtoledo Oct 8, 2024
1c014ce
Adding time bench
rrtoledo Oct 8, 2024
5fb08ae
Adding step bench
rrtoledo Oct 8, 2024
93aeb04
Adding disabled and broken repetition bench
rrtoledo Oct 8, 2024
5f52a88
Removing codes unnecessary for centralised scheme
rrtoledo Oct 9, 2024
050daa2
Removing commented Arc/Mutex code
rrtoledo Oct 9, 2024
70d3f5b
Removing unneeded functions
rrtoledo Oct 11, 2024
74eda3d
Adding second oracle
rrtoledo Oct 11, 2024
a8c1a60
Fixing clippy
rrtoledo Oct 11, 2024
852bce3
Cleaning up loops
rrtoledo Oct 11, 2024
a3ce9d6
Renaming lib alba, centralised -> centralized
rrtoledo Oct 11, 2024
1599dc7
Aggregating benches in one file, refactoring code
rrtoledo Oct 11, 2024
9ca49e5
Removint parallelisation
rrtoledo Oct 23, 2024
80217a3
Renaming nb_steps as limit
rrtoledo Oct 23, 2024
57b664d
Updating type of lamnda and r
rrtoledo Oct 23, 2024
d0af6b3
Using rust constant for log2(e)
rrtoledo Oct 23, 2024
2c9ca0b
Renaming type Data as Element
rrtoledo Oct 23, 2024
8545669
Adding fixed domain separation
rrtoledo Oct 23, 2024
7f89c7b
Remove Params' derive Clone and removing test_param
rrtoledo Oct 24, 2024
dde1a23
Hash with H2 intermediary hash instead of list of elements
rrtoledo Oct 24, 2024
8dba2a4
Cleanup bins instantiation
rrtoledo Oct 24, 2024
8f9cbc1
Prove returns Option<Proof>
rrtoledo Oct 24, 2024
04bc5b3
Iterating v (resp. t) from 0 till r (resp. d)
rrtoledo Oct 24, 2024
2e20615
Cleanup code
rrtoledo Oct 24, 2024
6fc7201
Updaintg oracle_uniform comment
rrtoledo Oct 24, 2024
fe9fed4
Correcting orale name binomial -> bernouilli
rrtoledo Oct 24, 2024
e446c96
Moving gen_items in test_utils, updating mods
rrtoledo Oct 24, 2024
3afd064
Renaming variable names
rrtoledo Oct 24, 2024
96eef15
cargo fmt
rrtoledo Oct 24, 2024
51be361
Renaming centralized -> centralized_telescope
rrtoledo Oct 24, 2024
1087969
Renaming 'oracle'_uni/bernouilli as sample_x
rrtoledo Oct 24, 2024
3cc46e6
Fixing q recip
rrtoledo Oct 24, 2024
19af83b
cleanup
rrtoledo Oct 24, 2024
0a6b7b3
Fixing lambda_sec
rrtoledo Oct 24, 2024
350773e
Removing unused rayon
rrtoledo Oct 24, 2024
bf2a05f
Using &[-] instead of &Vec<->
rrtoledo Oct 24, 2024
ac2bb93
Using &[-] instead of &Vec<->
rrtoledo Oct 24, 2024
c8104f9
Fixing w+1!
rrtoledo Oct 24, 2024
86e041f
Updating types
rrtoledo Oct 24, 2024
98a478f
Setup assert as debug_assert
rrtoledo Oct 24, 2024
37f4f01
Removing which_case
rrtoledo Oct 29, 2024
7f4b018
Cleaning up lambdas f64
rrtoledo Oct 29, 2024
f56a060
Cleaning up lambdas f64
rrtoledo Oct 29, 2024
32a7b55
Removing benches (new issue)
rrtoledo Oct 29, 2024
45edc07
Using Blake2s directly
rrtoledo Oct 29, 2024
c2e3ffa
clean up dfs
rrtoledo Oct 29, 2024
f6b67dd
Changing back folds to for loops
rrtoledo Oct 29, 2024
7e63cf4
Updating verify to take as input &Proof
rrtoledo Oct 29, 2024
537ebf1
Taking up to 2np elements when proving
rrtoledo Oct 29, 2024
82a4fa3
sample_uniform returning option
rrtoledo Oct 29, 2024
682703b
fixup verify in test
rrtoledo Oct 29, 2024
05bc014
clippied
rrtoledo Oct 29, 2024
ade56f0
cargo fmt
rrtoledo Oct 29, 2024
760f217
Adding security param to sample functions
rrtoledo Oct 29, 2024
f56ba67
fixup removing cases
rrtoledo Oct 29, 2024
63c0fc6
New clippy
rrtoledo Oct 29, 2024
a28f9f0
cleaning up setup
rrtoledo Oct 30, 2024
56b851b
Cleaning up h1
rrtoledo Oct 30, 2024
8d441db
Updating Round/Proof with Self
rrtoledo Oct 30, 2024
8e4d0a9
Fold to For in bench
rrtoledo Oct 30, 2024
7417e04
Not using ne_bytes
rrtoledo Oct 30, 2024
3dee62e
Simplifiying compute_w
rrtoledo Oct 30, 2024
735e1de
Using stack allocated arrays
rrtoledo Oct 30, 2024
69efaba
Replacing Vec macro by Vec::new
rrtoledo Oct 30, 2024
a876577
Remove unused deps
rrtoledo Oct 31, 2024
fb03448
f64::log2_e
rrtoledo Oct 31, 2024
258dd5f
e.pow -> .exp()
rrtoledo Oct 31, 2024
c184d31
fixup loge
rrtoledo Oct 31, 2024
e37f127
cleanup
rrtoledo Oct 31, 2024
d2c6c72
Removing redundant type
rrtoledo Oct 31, 2024
dee9a19
Private round
rrtoledo Oct 31, 2024
83dc568
Removing bench
rrtoledo Oct 31, 2024
ad293ba
Fixing typos and comments in utils
rrtoledo Oct 31, 2024
8d51b86
Update dfs comment
rrtoledo Oct 31, 2024
dcb55b3
Fixing dfs
rrtoledo Oct 31, 2024
950c802
fixup dfs
rrtoledo Oct 31, 2024
df66142
fixup
rrtoledo Oct 31, 2024
8647f02
DFS: Reusing limit var
rrtoledo Oct 31, 2024
278c086
Updating comments
rrtoledo Oct 31, 2024
5b9f7dc
Updating Vf with for loop
rrtoledo Oct 31, 2024
2119a55
Fixing visibility
rrtoledo Oct 31, 2024
12039cd
Fix comment
rrtoledo Oct 31, 2024
2f7b773
Updating sample distribution to use big endian
rrtoledo Oct 31, 2024
12ef83a
Updating visibility
rrtoledo Oct 31, 2024
b406dd7
Cleaning up truncating
rrtoledo Oct 31, 2024
8ceb350
Cleaning up test
rrtoledo Nov 1, 2024
fc3eb1a
Cleaning up verify
rrtoledo Nov 1, 2024
ae6f0e3
Updating comments
rrtoledo Nov 1, 2024
e289e7e
Removing sec_param and hardcoding value in sample functions
rrtoledo Nov 1, 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
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -2,3 +2,5 @@ dist-newstyle
*~
\#*
.DS_Store
target
Cargo.lock
10 changes: 9 additions & 1 deletion Cargo.toml
rrtoledo marked this conversation as resolved.
Show resolved Hide resolved
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
[package]
name = "caledonia"
name = "alba"
version = "0.1.0"
edition = "2021"
description = "A Rust implementation of Approximate Lower Bound Arguments (ALBAs)."
Expand All @@ -8,6 +8,14 @@ include = ["**/*.rs", "Cargo.toml", "README.md", ".gitignore"]

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]
blake2 = "0.10.6"
rand_core = "0.6.4"

[dev-dependencies]
rand = "0.8.5"
rand_chacha = "0.3.1"

[lints.rust]
missing_docs = "warn"
unsafe_code = "warn"
Expand Down
Loading
Loading