List.fold_left
https://x.com/lambda0xE/status/1994424577334587545?s=20
GitHub
GitHub - octra-labs/pvac_hfhe_cpp: pvac-hfhe: PoC for publicly verifiable arithmetic computations with hypergraph based homomorphic…
pvac-hfhe: PoC for publicly verifiable arithmetic computations with hypergraph based homomorphic encryption over Fp (p = 2^127 - 1), omissions for large numbers and excluded the transfer mechanism ...
❤4
List.fold_left
you can study it for now
tradeoffs of approaches:
fhew: noise as a security resource, but monstrously interferes with calculations
pvac-hfhe: precise arithmetic, but the structure grows
fhew: noise as a security resource, but monstrously interferes with calculations
pvac-hfhe: precise arithmetic, but the structure grows
❤5
remember that fhe does not ensure authenticity of your data by default, it provides only privacy
if you send the server two encrypted nums and ask it to multiply them, the server might instead send you their addition, or simply encrypt a constant of its choosing and send it back, this leaves you with no way to verify that your data was processed as you intended
to avoid this, we need to implement a commit sys via "tape rollups"
if you send the server two encrypted nums and ask it to multiply them, the server might instead send you their addition, or simply encrypt a constant of its choosing and send it back, this leaves you with no way to verify that your data was processed as you intended
to avoid this, we need to implement a commit sys via "tape rollups"
❤5
List.fold_left
https://github.com/octra-labs/pvac_hfhe_cpp
added sec params and verification of k uniform hypergraph and its properties for cryptographic hardness (no structural attacks were detected)
❤3
List.fold_left
added sec params and verification of k uniform hypergraph and its properties for cryptographic hardness (no structural attacks were detected)
it's high time to start hacking, or at least figure out where to start doing it, a bounty program is coming soon (at least manage the poc, not to mention the prod version)
❤3
evm.octra.network::[XXXX] + encrypted state (the hatter with his heavy locomotive is not ready for this)
🔥6😁3❤2
added tests and optimizations for testing and review
we continue to build primitives around the core, criticism is welcome (no slop machines please)*
* if there is an obvious slop, we will ignore it
https://github.com/octra-labs/pvac_hfhe_cpp/commit/2cd1d895bc59cfe9b852bb1072aabec51c7beff3
we continue to build primitives around the core, criticism is welcome (no slop machines please)*
* if there is an obvious slop, we will ignore it
https://github.com/octra-labs/pvac_hfhe_cpp/commit/2cd1d895bc59cfe9b852bb1072aabec51c7beff3
GitHub
AES-NI prf optimization · octra-labs/pvac_hfhe_cpp@2cd1d89
pvac-hfhe: PoC for publicly verifiable arithmetic computations with hypergraph based homomorphic encryption over Fp (p = 2^127 - 1), omissions for large numbers and excluded the transfer mechanism for data convertation (applies only to the prod version of…
❤2
List.fold_left
https://itsfoss.com/news/tor-rust-rewrite-progress/
doesn't mean that you should run and rewrite everything to rust, probably, but it's worth paying attention to it and starting to do something (the preview img is a bit annoying)
❤1