Víte, jak vytvářet kryptografické multilineární mapy? (Jen to kontroluji.)

To nelze říci hlasitěji vzhledem k současným sázkám v kryptografii 👇

Je velmi skvělé vidět @aptos bezklíčový ZK důkaz znovu implementovaný s Garudou (místo Groth16) @alrshirzad, @zkproofs a Michelem Delleperem! 😎 Next: můžeme získat rovnocenný PCS bez důvěryhodného nastavení? 🥹

"Klíčem k důstojnosti člověka je jeho schopnost rozhodovat o tom, komu o sobě prozradí informace." Hádejte, kdo to právě řekl?

TIL z @ronrothblum, že můžete vypočítat všech n Lagrangeových rovnic (x, i) v n + ~\log_2{n} násobení (a inverzi) na rozdíl od 2n👇

V kryptografii a matematice je dobrý zápis = bezztrátová komprese.

Jak dokázat mnoho rozsahů v nulových znalostech, rychleji než neprůstřelné? 👇 Minulé léto jsme pracovali na sériovém důkazu řady ZK s @TrishaCDatta, @nazirkamilla, @rex1fernando a @danboneh. Chtěli jsme dostatečně stručnou, ale mnohem rychlejší konstrukci, která by se dala použít pro PVSS.

vypadá to, že Lean je dnes populární, takže zde je malý příspěvek o tom, jak / proč to funguje a implementace jeho mini verze v Julii

🎨🖌️ obecně některé případy použití @aptos důvěrných transakcí!

KYC je zodpovědný za největší a nejnebezpečnější narušení dat. Řešení je však jednoduché: kryptografické atesty (založené na ZK nebo FHE). To však v současné době nestačí, protože předpisy vás nutí skutečně mít uživatelská data pro soulad. Něco se musí co nejdříve změnit