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

RNS/CRT #403

Draft
wants to merge 38 commits into
base: rns
Choose a base branch
from
Draft
Changes from 1 commit
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
aa07c5e
Fix evaluation of protocols
jonas-lj Oct 20, 2022
e7b6f65
Remove unused method
jonas-lj Oct 20, 2022
b571d99
Fix lifts and truncp
jonas-lj Oct 20, 2022
e06e6e3
Fix random bit
jonas-lj Oct 20, 2022
f5500aa
Add some docs
jonas-lj Oct 20, 2022
4ad1e94
Fix random mod p
jonas-lj Nov 8, 2022
2c2405d
Add dummy random mod p
jonas-lj Nov 9, 2022
83c39cd
Attempt outline of SemiHonestCRTDataSupplier
quackzar Nov 15, 2022
6b7214a
Attempt at preprocessing
Nov 17, 2022
ca4ee0f
Fix preprocessing
jonas-lj Nov 22, 2022
d1e81b0
Keep noise until the end of the protocol
jonas-lj Nov 22, 2022
2e73a28
Attempt at Semi Honest Noise
quackzar Nov 30, 2022
37fb256
fixup! Attempt at Semi Honest Noise
quackzar Nov 30, 2022
ee07915
Implement Covert Noise Generator
quackzar Jan 10, 2023
b1fff88
Forgot to set tests to use covert, and small fix
quackzar Jan 10, 2023
d958634
Extract CovertNoiseGenerator and use better randomness
quackzar Jan 11, 2023
9d728a6
Refactor CRTDataSupplier(s)
quackzar Jan 11, 2023
b4581f3
Don't reuse seed, reuse the Drbg
quackzar Jan 11, 2023
cbc4765
Remove redundant generics
quackzar Jan 12, 2023
fef58f5
Fix uses of CRTDataSupplier being non-generic
quackzar Mar 22, 2023
96eb827
Only use seed if it was computed in previous step
jonas-lj Mar 22, 2023
99b536b
incremental commit
jot2re May 9, 2023
d383db0
fix: fixed general runtime issue
jot2re May 9, 2023
f15565b
incremental: semihonest working
jot2re May 9, 2023
a58d2eb
refactor: improved code quality of change
jot2re May 9, 2023
f6d2236
fix: ensured correct and simpler openeing
jot2re May 9, 2023
c04e645
feat: started the steps of single bit error.
jot2re May 9, 2023
5bbf85d
refactor: refactored to remove some unused variables and support grea…
jot2re May 18, 2023
7777ce3
feat: added support for batching
jot2re May 19, 2023
a8a0a17
temp: outcommented code to allow for larger domains
jot2re May 19, 2023
61fbe4a
temp: started code to do gate evaluation properly
jot2re May 19, 2023
d3edf74
fix: fixed semi-honest noise generation
jot2re May 22, 2023
3f5c502
test: outcommented tests not working due to missing framework impleme…
jot2re May 26, 2023
a85d14d
refactor: removed personal reference
jot2re May 26, 2023
c58e087
Create bits in parallel
jonas-lj Aug 30, 2023
28c5fc4
Fix bit generation
jonas-lj Sep 5, 2023
759bb0a
refactor: making sure par is used whereever possible
jot2re Sep 13, 2023
dbbedcd
Remove constant
jonas-lj Sep 26, 2023
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
Prev Previous commit
Remove constant
jonas-lj committed Sep 26, 2023
commit dbbedcd86b3264ed2b9b2ff4c16dd91db81b9970
Original file line number Diff line number Diff line change
@@ -31,7 +31,7 @@ public LiftQPProtocol(DRes<SInt> value) {
public DRes<SInt> buildComputation(ProtocolBuilderNumeric builder,
CRTNumericContext<ResourcePoolA, ResourcePoolB> context) {
//q' = q / 2 is divisible by p, so adding it to the input only affects the output by q mod p = 1 if there's an overflow.
BigInteger qPrime = new BigInteger("3138550867693340351802905239100779285196644626743924002860");
BigInteger qPrime = context.getRightModulus().subtract(BigInteger.ONE).divide(BigInteger.valueOf(2));

return builder.seq(new CorrelatedNoiseProtocol<>()).seq((seq, noise) -> {
this.r = (CRTSInt) noise.getNoisePair().out();