Jolt技术详解：RISC-V零知识虚拟机 - ZKSECURITY 本文详细介绍了Jolt zkVM 的工作原理，它是一个为 RISC-V 架构设计的零知识虚拟机，由 a16z 开发，并采用 Lasso 查找参数来证明 VM 执行的正确性，文章详细解释了指令查找、离线内存检查和 Rank-1 约束系统 (R1CS) 三个主要组件，以及它们如何协同工作以确保 VM 执行的正确性。 Jolt zkVM 零知识虚拟机 RISC-V Lasso 查找参数 R1CS zksecurity 发布于 2024-12-10 1569 0 0
改进 Jolt zkVM 的安全性 - ZKSECURITY zkSecurity 团队与 a16z 合作，对 Jolt zkVM 进行了深入研究，发现了多个严重的安全漏洞，如执行跟踪验证、输出检查和内存布局约束等方面的问题。这些漏洞可能允许恶意证明者绕过验证。Jolt 团队已经修复了这些问题, 并通过这次合作显示了对 zkVM 进行安全审计的重要性。 Jolt zkVM 零知识证明 RISC-V 漏洞 安全审计 Lasso lookup zksecurity 发布于 2024-11-20 1448 0 0
Jolt zkVM上的一个挑战 - ZKSECURITY 本文介绍了MOCA意大利黑客训练营CTF竞赛中一个名为“2+2=5”的密码学挑战，该挑战利用了修改后的Jolt zkVM。挑战要求参与者构造一个无效的RISC-V程序执行证明，利用Jolt库中的漏洞，使得程序输出错误的结果“5”，从而绕过服务器的验证并获得flag。 Jolt zkVM RISC-V 密码学挑战 ctf 执行证明 R1CS约束 零知识证明 zksecurity 发布于 2024-09-25 1501 0 0
