List.fold_left
https://mathcs.holycross.edu/~ahwang/print/calc.pdf
calculus for mathematicians, computer scientists, and physicists
❤2
List.fold_left
https://www.abzglobal.net/web-development-blog/ilya-sutskever-yann-lecun-and-the-end-of-just-add-gpus
llms are not the path to true intelligence
❤2
List.fold_left
https://github.com/Dancode-188/synckit
yeah yeah, it's funny and all, but the code is actually good, so jokes aside
❤4
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