List.fold_left
Photo
Photo
quantum elliptic curves might break crypto’s pub key cryptography.
- no they won’t, do you know anything about cryptography?
- no, do you?
- no
2 · 117 · List.fold_left
Photo
Photo
Photo
on that; over the last 1+ months i've been studying a hash-based zk-system (binius), which took me a while to fully digest. made some charts (wip) to describe the components; while relatively approachable, it still requires *some* mathematical background for the reader to fully interpret. i tried my best 😅
2 · 80 · Replyhttps://x.com/lambda0xE/status/2109854334204744191?s=20
the latest devnet upgrade has been published, now the full focus is on the mainnet and practical things, all blockers have been removed (the latest release added an important part on the circle runtime and the rust kernel for VM + hfhe)
1 · 117 · thanks everyone for your support, we're trying to pack as many features as possible these days.
116 · the next step is to help everyone migrate to the mainnet so that everyone can participate under real load, etc.
the only practical part is optimizing the proof sys and proof building actor (which hasn't been included in the release yet, but we'll try to release it on top, without a separate activation, so that the HFHE flow, which is initially fast but slow due to the proof sys, becomes faster)
1 · 118 · Photo
we're testing a new circuit for high speed ring validation over encrypted state (pre proof is faster than finality, seamlessly with the OVM), quite interesting results are obtained
9 · 898 · Photo
Photo
Photo
Photo
in the new version of the scanner, formal verification, byte and src code, as well as program certs, have become more informative (this is still early alpha, it will change 1000%, but it has become more convenient to work with imo)
1 · 105 ·