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.

924
56
El contenido de esta página lo proporcionan terceros. A menos que se indique lo contrario, OKX no es el autor de los artículos citados y no reclama ningún derecho de autor sobre los materiales. El contenido se proporciona únicamente 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 vinculado para obtener más detalles e información. OKX no es responsable del contenido alojado en sitios de terceros. El holding de activos digitales, incluyendo stablecoins y NFT, implican un alto grado de riesgo y pueden fluctuar en gran medida. Debes considerar cuidadosamente si el trading o holding de activos digitales es adecuado para ti a la luz de tu situación financiera.

