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.

900
56
O conteúdo apresentado nesta página é fornecido por terceiros. Salvo indicação em contrário, a OKX não é o autor dos artigos citados e não reivindica quaisquer direitos de autor nos materiais. O conteúdo é fornecido apenas para fins informativos e não representa a opinião da OKX. Não se destina a ser um endosso de qualquer tipo e não deve ser considerado conselho de investimento ou uma solicitação para comprar ou vender ativos digitais. Na medida em que a IA generativa é utilizada para fornecer resumos ou outras informações, esse mesmo conteúdo gerado por IA pode ser impreciso ou inconsistente. Leia o artigo associado para obter mais detalhes e informações. A OKX não é responsável pelo conteúdo apresentado nos sites de terceiros. As detenções de ativos digitais, incluindo criptomoedas estáveis e NFTs, envolvem um nível de risco elevado e podem sofrer grandes flutuações. Deve considerar cuidadosamente se o trading ou a detenção de ativos digitais é adequado para si à luz da sua condição financeira.

