I just watched the full recording ZKONNECT of @brevis_zk , it was very impressive. The talk “RISC and Reward Formally Verifying zkVMs” goes into detail about how to ensure the correctness of zkVM. JulekSU explains proof soundness and circuit verification in great detail. There is also a Lean-based zkVM verification section, which sounds very in-depth. I learned a lot of new things about how to verify zkVM correctly and transparently. If you are interested in zkVM or ZK tech, this is a talk you cannot miss.
910
56
Conținutul de pe această pagină este furnizat de terți. Dacă nu se menționează altfel, OKX nu este autorul articolului citat și nu revendică niciun drept intelectual pentru materiale. Conținutul este furnizat doar pentru informare și nu reprezintă opinia OKX. Nu este furnizat pentru a fi o susținere de nicio natură și nu trebuie să fie considerat un sfat de investiție sau o solicitare de a cumpăra sau vinde active digitale. În măsura în care AI-ul de generare este utilizat pentru a furniza rezumate sau alte informații, astfel de conținut generat de AI poate să fie inexact sau neconsecvent. Citiți articolul asociat pentru mai multe detalii și informații. OKX nu răspunde pentru conținutul găzduit pe pagini terțe. Deținerile de active digitale, inclusiv criptomonedele stabile și NFT-urile, prezintă un grad ridicat de risc și pot fluctua semnificativ. Trebuie să analizați cu atenție dacă tranzacționarea sau deținerea de active digitale este adecvată pentru dumneavoastră prin prisma situației dumneavoastră financiare.