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
List.fold_left
https://x.com/lambda0xE/status/2000737413534986330?s=20
we've prepared 24 tests for researchers of increasing complexity, covering all aspects, many of them have deliberate hints, while others are impenetrable
we now need a fresh look at the parameters and approaches, we will continue to expand the bounty challenges to cover all edge cases and non-standard implementations that require public validation
at the end of this work, this will form the basis of a large print covering all possible bugs, shortcomings, or potential mistakes and how we resolved them
this is a big job and we aim to finish it by feb to make it in time for the important publication
* researchers and pentesters welcome
we now need a fresh look at the parameters and approaches, we will continue to expand the bounty challenges to cover all edge cases and non-standard implementations that require public validation
at the end of this work, this will form the basis of a large print covering all possible bugs, shortcomings, or potential mistakes and how we resolved them
this is a big job and we aim to finish it by feb to make it in time for the important publication
* researchers and pentesters welcome
❤8