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
List.fold_left
https://x.com/lambda0xE/status/2001105771031838959?s=20
X (formerly Twitter)
λ (@lambda0xE) on X
16 issue tickets, not a single correct one yet, can see that the pentesters' slop machines have some difficulties with abstract problems
i think the real game will begin when a real researcher takes on the solution (for him, this task will not be too difficult)…
i think the real game will begin when a real researcher takes on the solution (for him, this task will not be too difficult)…
❤2
List.fold_left
https://x.com/lambda0xE/status/2001127950800887912?s=20
PVAC-HFHE (octra) vs. TFHE (Zama)
❤6🤯1