zkVM

SP1：基于Plonky3构建的zkVM

1.引言SP1为SuccictLab开源的，基于Plonky3构建的zkVM。
mutourend·2024-02-19 13:09

RISC Zero zkVM Host & Guest 101

host为不可信agent，负责设置zkVM环境和处理执行过程中的输入输出。host程序（代码），是指：zkVM应用中的host-native、不可信的部分。
mutourend·2024-01-01 12:21

ZK*FM：RISC Zero zkVM的形式化验证

1.引言开源代码见：https://github.com/risc0/risc0-lean4（Lean和Rust）ZK*FM为RISCZerozkVM的形式化验证：ZK：Thecomputerrantherightprogram。FM：Theprogramdidtherightthing。ZK*FM：Thecomputerdidtherightthing。可使用FM来证明RISCZero的ZKto
mutourend·2023-12-18 03:34

RISC Zero zkVM guest程序优化技巧 及其 与物理CPU的关键差异

在RISCZerozkVM的某应用中，guest程序为zkVM待执行和证明的代码。guest应具有reading、writting和committing的基本功能，具体为：1）读取输
mutourend·2023-12-18 03:03

技术探秘：在RISC Zero中验证FHE——由隐藏到证明：FHE验证的ZK路径（1）

1.引言开源代码实现见：https://github.com/hashcloak/fhe_risc0_zkvm（Rust）https://github.com/weikengchen/vfhe-profiled
mutourend·2023-12-18 03:02

Reed-Solomon Codes及其与RISC Zero zkVM的关系

1.引言前序博客：Reed-SolomonCodes——RS纠错码Reed-SolomonCodes当前广泛用于：QRcodes二维码Cellularcommunication蜂窝通信STARKs2.简化的Reed-SolomonEncoding（RS编码）所谓encoding（编码），是指：将messages转换为codewords的系统。即：Enc:{messages}→{codewords}
mutourend·2023-11-12 09:24

RISC Zero zkVM架构

1.引言RISCZerozkVM为：基于FRI+PLONK构建的采用VonNeumann架构的ZKMachine将RISC-V微控制器具化为某基于STARK的证明系统，的微架构和编码机制。2.Row(Time)Structure一个cycle对应1个memorytransaction，对用户传入的程序elf可执行文件的处理流程为：1）INIT：初始化阶段。有特殊的初始化cycle，用于重置状态。2
mutourend·2023-11-12 09:24

Continuations：扩展RISC Zero zkVM支持（无限）大计算

1.引言前序博客：Risc0：使用Continunations来证明任意EVM交易RISCZero在2013年5月的0.15版本中，引入了Continuous机制：移除了证明生成时的“cyclelimit”限制解锁了在RISCZerozkVM中运行EVMinterpreter或WASMinterpreter的能力扩展为可支持（无限）大计算Continuous机制的核心思想为：将execution切
mutourend·2023-11-12 09:54

RISC Zero zkVM 白皮书

1.引言RISCZero提供了开源的虚拟机+零知识证明系统，即zero-knowledgevirtualmachine（简称zkVM）。
mutourend·2023-11-12 09:53

Risc zero ZKVM：zk-STARKs + RISC-V

1.引言Risczero定位为：TheGeneralPurposeZero-KnowledgeVM.ProveanyComputation.VerifyInstantly.开源代码见：https://github.com/risc0/risc0TheRISCZeroZKVMisaverifiablecomputerthatworkslikearealembeddedRISC-Vmicroproce
mutourend·2023-11-12 09:23

RISC0：Towards a Unified Compilation Framework for Zero Knowledge

2.何为ZKVM？3.密集型计算加速策略4.MLIR参考资料[1]CompilerandComposabilityinZKP
mutourend·2023-11-12 09:23

RISC-V与RISC Zero zkVM的关系

1.引言本文基本结构为：编程语言背景介绍RISC-V虚拟机作为zkVM电路为何选择RISC-V？2.编程语言背景介绍高级编程语言不专门针对某个架构，其便于人类编写。
mutourend·2023-11-07 22:24

针对zkVM中Memory Consistency Checks的Polynomial IOPs

在设计zkvm时，需检查其所有组件的功能一致性，包括：instructionfetcher寄存器文件算术化逻辑单元内存其中最具挑战的技术协议为Memoryconsistencycheck（MCC
mutourend·2023-11-01 13:05

RISC Zero zkVM性能指标

1.引言对应代码：https://github.com/risc0/risc0（C++和Rust）运行如下指令，进行性能评估：cargorun-r--exampleloop//CPUcargorun-r-Fmetal--exampleloop//MetalGPUcargorun-r-Fcuda--exampleloop//CUDAGPUcargobench--benchfib//默认为CPU，可配
mutourend·2023-10-26 12:29

zkVM设计性能分析

：2023年9月ZKSummit10WeiDai@1k(x)&TerryChung@1k(x)分享视频ZK10:AnalysisofzkVMDesigns-WeiDai&TerryChung当前有各种zkVM
mutourend·2023-10-05 10:24

Polygon Miden：扩展以太坊功能集的ZK-optimized rollup

1.引言PolygonMiden定位为zkVM，定于2023年Q4上公开测试网。
mutourend·2023-09-29 00:25

zk、zkVM、zkEVM及其未来

zkVM可为应用增加零知识证明，zkVM可以按mainstrem、EVM或新构建的指令集进行分类。EVM兼容性包括EVM兼容性、等价性和规范级兼容性。zkEVM是一个EVM兼容且零知识证明友好的环境。
mutourend·2023-09-29 00:55

基于Nova/SuperNova的zkVM

1.引言本文为2023年3月13~4月7日ZKSpringResidencyinVietnam上，由PSE团队、OrochiNetwork团队、0xPARC团队、Oskar（独立个人）以及Delv团队联合发布。Nova：借助IncrementalVerifiableComputation（IVC）和foldingscheme，Nova可更高效地执行重复相同的代码块。Nova采用的安全假设为GLOG
mutourend·2023-06-24 08:33

Research Day 2023：Succinct ZKP最新进展

ResearchDay2023上视频分享：AdvancesintheEfficiencyofSuccinctProofs-YingTongZKP技术可用于：1）Verifiablevirtualmachine：如各种zkEVM和zkVM
mutourend·2023-06-12 01:22

zkLLVM：nil Foundation开发的电路编译器

1.引言zkLLVM：nilFoundation开发的电路编译器，不是zkVM。不过，“zkLLVM+proofmarket”可构建zkVM。
mutourend·2023-04-09 14:45

智能合约开发——Sui/Move vs. Solana/Rust

1.引言前序博客有：zkMove——针对Move合约生态的zkVM定位为高性能L1的Aptos和Sui，均采用Move合约编程语言。Solana也定位为高性能L1，但其采用Rust合约编程语言。
mutourend·2023-01-29 00:36

zkMove——针对Move合约生态的zkVM

1.引言Move为不同于Solidity的，开源的安全的智能合约开发语言，最早由Facebook为Diem链创造开发。不过，Move本身设计为与平台无关的语言，具有通用的库、工具，并使得采用完全不同数据模型和执行模型的链的开发者社区都可使用Move。当前支持Move合约的链有：Sui：定位为具有高吞吐量、低延迟、面向资产编程模式的下一代智能合约平台，采用Move语言进行合约开发。当前处于devne
mutourend·2023-01-29 00:05

BulletproofVM：Avalanche上的zkVM

引言开源代码见：https://github.com/usmaneth/BulletproofVM（Rust）BulletproofVM为Avalanche上的基于Bulletproofs证明系统构建的zkVM
mutourend·2022-12-25 14:12
上一页 1 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他