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.
904
56
El contenido al que estás accediendo se ofrece por terceros. A menos que se indique lo contrario, OKX no es autor de la información y no reclama ningún derecho de autor sobre los materiales. El contenido solo se proporciona con fines informativos y no representa las opiniones de OKX. No pretende ser un respaldo de ningún tipo y no debe ser considerado como un consejo de inversión o una solicitud para comprar o vender activos digitales. En la medida en que la IA generativa se utiliza para proporcionar resúmenes u otra información, dicho contenido generado por IA puede ser inexacto o incoherente. Lee el artículo enlazado para más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. Los holdings de activos digitales, incluidos stablecoins y NFT, suponen un alto nivel de riesgo y pueden fluctuar mucho. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti según tu situación financiera.