0xlita 的文章 - 登链社区

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

本文深入探讨了zkVM（零知识虚拟机）的概念、原理和应用。zkVM利用零知识证明技术保障计算的完整性和隐私，在数据隐私、安全交易和去中心化金融等领域具有巨大潜力。文章还介绍了zkEVM以及评估zkVM解决方案的框架，并提出了评估 zkVM 的标准，包括正确性、安全性、信任假设、效率、速度和简洁性。

zkVM 零知识证明 zkEVM 虚拟机密码学安全性

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

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

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

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

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

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

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

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

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

Lita 发布 Valida zkVM 及 C 编译器

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

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

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