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

Jump to bottom

Implement FrodoPIR #1

Merged
merged 97 commits into from
Oct 1, 2024
Merged

Implement FrodoPIR #1

merged 97 commits into from
Oct 1, 2024

Conversation

itzmeanjan
Copy link
Owner

@itzmeanjan itzmeanjan commented Sep 18, 2024 •
edited
Loading

  • Implement FrodoPIR scheme
  • Write tests, ensuring functional correctness
  • Write benchmarks, showing performance
  • Add project documentation

@itzmeanjan
Add clang-format file
5411e20 
Following same style-guide as https://github.com/itzmeanjan/raccoon/blob/c66194d50a8e0a54d28d2de1f3bc318158ad1eb1/.clang-format

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Add sha3 as git submodule based dependency
14947ca 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Add gtest-parallel as git submodule based dependency
dd9da56 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Add force_inline MACRO
b5121db 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Add shake128 backed Pseudo Random Number Generator
eaf6900 
Taken from https://github.com/itzmeanjan/raccoon/blob/c66194d5/include/raccoon/internals/rng/prng.hpp

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Update list of files to be ignored by git
6e4aabf 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Basic matrix struct, supporting random sampling of matrix, given inpu…
d546b2d 
…t seed

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Multiply two matrices of valid dimension
8e5e016 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Addition of two equal dimension matrices over Zq
4d78165 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Serialization and deserialization of matrix data type
657b5a9 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Add utility function for computing logarithm base-2
be301ac 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
reading from and writing to byte array, in little-endian order
723e47d 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Make generation of public matrix A, from seed μ, constexpr
cb81fe5 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Parse byte serialized database into matrix
750ed5a 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Implement matrix transpose function
3e1ca9c 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Use existing functions for byte (de-)serialization of matrix
c8d30db 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Refactor parsing of database bytes s.t. it encodes all bytes of same …
77afcb0 
…database row into same row of matrix

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Rejection sampling from uniform ternary distribution
c78cb92 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Add typedef for vector datatype
59bd45b 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Instead of using std::array as backing data structure for matrix data…
ad907cf 
… type, prefer std::vector, due to "very" large size requirements

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Implement FrodoPIR server setup phase
28c60c3 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Create lambda for computing row width of parsed database matrix
aa38e5a 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Implement function for responding to client query
c82d56c 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Implement FrodoPIR client setup function
2ede3fd 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Implement function for FrodoPIR client query preparation
35cde71 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Finalize client query, make it ready for sending to server
12cf8de 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Add new function for serializing a row of parsed database matrix
8d49a0d 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Correctly mention byte length of serialized response vector
95598cf 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Add functionality of processing server response at client side
87098f2 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Address compilation issues
48ba3f4 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Improve implementation of uniform rejection sampling from ternary dis…
0036d01 
…tribution

Cache random bytes, sampled from Shake128 backed PRNG

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Improve uniform random sampling -based matrix generation algorithm
7810525 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Get rid of redundant vector transpose operation in server respond step
fc9c9e0 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Improve serialization to(/from) little-endian bytes from(/to) a matrix
ea88c37 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Parallelize outer-loop of large matrix multiplication, using std::thread
226a3b4 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Optimize matrix multiplication multi-threading by using h/w hinted ma…
8e11fe4 
…ny threads

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Make parsing of byte-serialized database multi-threaded
1027a95 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Make serialization of parsed database matrix multi-threaded
5c61cf0 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Make addition of two matrices multi-threaded
7324435 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Run address santinizer with leak sanitizer check
6105616 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Refactor sampling from uniform ternary distribution such that it can …
62d13f3 
…produce either row or column vector

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Update prepare query step of client, to get rid of redundant matrix t…
20c7314 
…ranspose operations

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Update benchmark running configuration
a94f41c 
Running running time and repetition count

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Make matrix multiplication use multiple-threads in more flexible way
1aad837 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Don't run ASAN with leak sanitizer
7020cc3 
It's not supported on macos target available on github actions CI

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Correctly use "DoNotOptimize" trap
c3d7d36 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Add new test ensuring functional correctness of client cache state tr…
8958741 
…ansition

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Use a combination of total time spent by all process threads and wall…
a5b602d 
…clock time for benchmark measurements

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Hardcode which time unit to use for reporting benchmark results
334c2d9 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Add benchmark for client setup stage
a83fd94 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Add compile-time check function for ensuring that FrodoPIR can only b…
36ac642 
…e instantiated with recommended parameters in paper

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Activate compile-time checks, ensuring FrodoPIR client and server can…
a435785 
… only instantiated with recommended parameters in paper

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Don't rely on non-constexpr std::sqrt function for evaluating compi…
7e320d6 
…le-time check

Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Don't capture variable, which is not at all used
9ff03d2 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Remove redundant function for computing transpose of matrix
5d5cd4c 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Add example program demonstrating usage of frodoPIR API
1fac362 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Benchmark result dumped into JSON file
fa9eca9 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan
Add project documentation
6bc2827 
Signed-off-by: Anjan Roy <[email protected]>
@itzmeanjan itzmeanjan merged commit db91577 into main Oct 1, 2024
24 checks passed
@itzmeanjan itzmeanjan deleted the implement-frodoPIR branch October 1, 2024 11:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@itzmeanjan