0xlita 的文章 - 登链社区

TA的文章 TA购买的 TA喜欢的 TA收藏的

本文是对Valida项目进行的一次代码审查，旨在找出MVP（最小可行产品）必须解决的问题。审查重点关注STARK实现的可靠性和完整性，并识别了多项潜在问题，包括CPU芯片等式测试中的漏洞、内存一致性验证的不足、以及部分指令（如SRA、MULHU32等）缺乏STARK约束等。同时，文章还探讨了功能完整性的概念，并列出了支持编译器MVP所需的指令集。

STARK Valida 零知识证明证明系统代码审查内存一致性功能完整性

发布于 2024-09-05 16:34 阅读(6) 点赞(0)

探索zk-VM设计权衡：零知识范式（第二部分）

本文深入探讨了零知识虚拟机（zkVM）的设计权衡，涵盖指令集架构（ISA）、支持的编程语言、算术化策略、证明系统以及模块化与单体架构的选择。文章还介绍了Valida zkVM的设计原则及其背后的逻辑，包括定制ISA、广泛的编程语言支持、高级约束系统和多项式承诺方案，以及对模块化和最优字段的强调，旨在优化zk-proof生成性能和效率。

zkVM 零知识证明 ISA 算术化证明系统多项式承诺

发布于 2024-09-05 16:27 阅读(26) 点赞(0)

自定义指令集架构：零知识范式（第三部分）

本文深入探讨了Lita公司Valida zkVM中自定义指令集架构（ISA）的设计及其优势。Valida通过定制ISA，优化了零知识证明（ZKP）的效率，并克服了传统ISA在zkVM环境中的局限性。通过Valida LLVM编译器工具链，开发者可以使用熟悉的C语言进行开发，兼顾了性能和易用性，为下一代安全高效的ZKP应用铺平了道路。

零知识证明 zkVM 指令集架构自定义ISA 编译器 Valida

发布于 2024-09-05 10:56 阅读(26) 点赞(0)

Lita 发布 Valida zkVM 及 C 编译器

Lita 发布了 Valida 零知识虚拟机和 C 编译器工具链的 alpha 版本，使开发者能够在 Valida 上编译、运行、证明和验证 C 程序。Valida 在初始基准测试中表现出前景，在证明生成速度和效率方面有了多个数量级的提高。LLVM Valida 编译器后端为所有 LLVM 兼容编程语言利用经济高效的大规模 STARK 零知识证明奠定了基础。

零知识证明虚拟机编译器 STARK 性能 C语言

发布于 2024-09-05 10:17 阅读(27) 点赞(0)