- SP1:基于Plonky3构建的zkVM
mutourend
zkVMzkVM
1.引言SP1为SuccictLab开源的,基于Plonky3构建的zkVM。开源代码见:https://github.com/succinctlabs/sp1(Rust)当前暂未实现onchain-verifier,但会采用标准的STARK->SNARKverifier。SP1zkVM基于的指令集为:riscv32im(与RISCZero的指令集一样)在SP1zkVM中运行某程序之前,需将该程序
- RISC Zero zkVM Host & Guest 101
mutourend
zkVMzkVM
1.引言在RISCZerozkVM应用程序中,host为运行RISCZerozkVM的机器(或系统)。host为不可信agent,负责设置zkVM环境和处理执行过程中的输入输出。host程序(代码),是指:zkVM应用中的host-native、不可信的部分。负责加载guest程序,并为guest程序提供必要的输入。若基于Bonsai构建,则无需编写host代码。zkVM应用中,host负责构建并
- ZK*FM:RISC Zero zkVM的形式化验证
mutourend
zkVMzkVM
1.引言开源代码见:https://github.com/risc0/risc0-lean4(Lean和Rust)ZK*FM为RISCZerozkVM的形式化验证:ZK:Thecomputerrantherightprogram。FM:Theprogramdidtherightthing。ZK*FM:Thecomputerdidtherightthing。可使用FM来证明RISCZero的ZKto
- RISC Zero zkVM guest程序优化技巧 及其 与物理CPU的关键差异
mutourend
zkVMzkVM
1.引言RISCZerozkVM设计并实现为与物理CPU功能类似。从而对于RISCZerozkVMguest程序:可使用通用编程语言(如Rust)和通用工具(如Cargo,LLVM)。通常,也可使用通用优化技术来优化。在RISCZerozkVM的某应用中,guest程序为zkVM待执行和证明的代码。guest应具有reading、writting和committing的基本功能,具体为:1)读取输
- 技术探秘:在RISC Zero中验证FHE——由隐藏到证明:FHE验证的ZK路径(1)
mutourend
零知识证明零知识证明
1.引言开源代码实现见:https://github.com/hashcloak/fhe_risc0_zkvm(Rust)https://github.com/weikengchen/vfhe-profiled(Rust)https://github.com/l2iterative/vfhe0(Rust)L2IVResearch团队近期尝试用ZKP来验证FHE,原因在于如下2大应用场景的出现:1)
- Reed-Solomon Codes及其与RISC Zero zkVM的关系
mutourend
zkVMzkVM
1.引言前序博客:Reed-SolomonCodes——RS纠错码Reed-SolomonCodes当前广泛用于:QRcodes二维码Cellularcommunication蜂窝通信STARKs2.简化的Reed-SolomonEncoding(RS编码)所谓encoding(编码),是指:将messages转换为codewords的系统。即:Enc:{messages}→{codewords}
- RISC Zero zkVM架构
mutourend
zkVMzkVM
1.引言RISCZerozkVM为:基于FRI+PLONK构建的采用VonNeumann架构的ZKMachine将RISC-V微控制器具化为某基于STARK的证明系统,的微架构和编码机制。2.Row(Time)Structure一个cycle对应1个memorytransaction,对用户传入的程序elf可执行文件的处理流程为:1)INIT:初始化阶段。有特殊的初始化cycle,用于重置状态。2
- Continuations:扩展RISC Zero zkVM支持(无限)大计算
mutourend
zkVMzkVM
1.引言前序博客:Risc0:使用Continunations来证明任意EVM交易RISCZero在2013年5月的0.15版本中,引入了Continuous机制:移除了证明生成时的“cyclelimit”限制解锁了在RISCZerozkVM中运行EVMinterpreter或WASMinterpreter的能力扩展为可支持(无限)大计算Continuous机制的核心思想为:将execution切
- RISC Zero zkVM 白皮书
mutourend
zkVMzkVM
1.引言RISCZero提供了开源的虚拟机+零知识证明系统,即zero-knowledgevirtualmachine(简称zkVM)。当在zkVM中执行某RISC-V二进制文件时,其输出为:二进制文件执行结果+一个computationalreceipt,提供了计算完整性的零知识证明。RISCZero的证明系统采用zk-STARK,基于以下关键要素:FRI协议DEEP-ALI基于HMAC-SHA
- Risc zero ZKVM:zk-STARKs + RISC-V
mutourend
零知识证明zkVMrisc-v
1.引言Risczero定位为:TheGeneralPurposeZero-KnowledgeVM.ProveanyComputation.VerifyInstantly.开源代码见:https://github.com/risc0/risc0TheRISCZeroZKVMisaverifiablecomputerthatworkslikearealembeddedRISC-Vmicroproce
- RISC0:Towards a Unified Compilation Framework for Zero Knowledge
mutourend
zkVM零知识证明
1.引言本文主要摘自RISC0(RISCZERO)创始人BrianRetford在CompilerandComposabilityinZKP上的演讲内容。2.何为ZKVM?3.密集型计算加速策略4.MLIR参考资料[1]CompilerandComposabilityinZKP
- RISC-V与RISC Zero zkVM的关系
mutourend
zkVMzkVM
1.引言本文基本结构为:编程语言背景介绍RISC-V虚拟机作为zkVM电路为何选择RISC-V?2.编程语言背景介绍高级编程语言不专门针对某个架构,其便于人类编写。高级编程语言代码,经编译器编译后,会生成针对专门某架构的汇编代码,汇编代码是供机器使用的。也可以直接编写汇编代码:以上汇编代码示例中:蓝色框表示:所编码的数据和指令。黄色框:为对蓝色框的反汇编。黑色框:为这些opcodes的位置信息。可
- 针对zkVM中Memory Consistency Checks的Polynomial IOPs
mutourend
zkVMzkVM
1.引言主要参考YuncongZhang等人2023年论文《PolynomialIOPsforMemoryConsistencyChecksinZero-KnowledgeVirtualMachines》。在设计zkvm时,需检查其所有组件的功能一致性,包括:instructionfetcher寄存器文件算术化逻辑单元内存其中最具挑战的技术协议为Memoryconsistencycheck(MCC
- RISC Zero zkVM性能指标
mutourend
zkVMzkVM
1.引言对应代码:https://github.com/risc0/risc0(C++和Rust)运行如下指令,进行性能评估:cargorun-r--exampleloop//CPUcargorun-r-Fmetal--exampleloop//MetalGPUcargorun-r-Fcuda--exampleloop//CUDAGPUcargobench--benchfib//默认为CPU,可配
- zkVM设计性能分析
mutourend
zkVMzkVM
1.引言本文主要参考:2023年9月ZKSummit10WeiDai@1k(x)&TerryChung@1k(x)分享视频ZK10:AnalysisofzkVMDesigns-WeiDai&TerryChung当前有各种zkVM,其设计思想各有不同,且各有取舍,本文重点对现有各zkVM设计进行分析。zkVMs寒武纪大爆发:2020年之前的zkVM方案均是学术性的,不具备实用性,具体有:TinyRA
- Polygon Miden:扩展以太坊功能集的ZK-optimized rollup
mutourend
zkVMzkVM
1.引言PolygonMiden定位为zkVM,定于2023年Q4上公开测试网。zk、zkVM、zkEVM及其未来中指出,当前主要有3种类型的zkVM,括号内为其相应的指令集:mainstream(WASM,RISC-V)EVM(EVMbytecode)ZK-Optimized(专为零知识证明优化的新型指令集,如Cairo的指令集和zkSync的指令集)PolygonMiden为:ZK-optim
- zk、zkVM、zkEVM及其未来
mutourend
zkVM区块链
1.引言zk(zero-knowledge)proof:可保证计算的完整性、正确性和隐私性,在区块链扩容和隐私领域大有可为。zk-SNARK和zk-STARK各具优势,二者结合潜力无穷。zkVM可为应用增加零知识证明,zkVM可以按mainstrem、EVM或新构建的指令集进行分类。EVM兼容性包括EVM兼容性、等价性和规范级兼容性。zkEVM是一个EVM兼容且零知识证明友好的环境。它可以分为基于
- 基于Nova/SuperNova的zkVM
mutourend
zkVMzkVM
1.引言本文为2023年3月13~4月7日ZKSpringResidencyinVietnam上,由PSE团队、OrochiNetwork团队、0xPARC团队、Oskar(独立个人)以及Delv团队联合发布。Nova:借助IncrementalVerifiableComputation(IVC)和foldingscheme,Nova可更高效地执行重复相同的代码块。Nova采用的安全假设为GLOG
- Research Day 2023:Succinct ZKP最新进展
mutourend
零知识证明零知识证明
1.引言主要见YingTong在ResearchDay2023上视频分享:AdvancesintheEfficiencyofSuccinctProofs-YingTongZKP技术可用于:1)Verifiablevirtualmachine:如各种zkEVM和zkVM。2)verifiablecloudcomputing:2015年论文《ClusterComputinginZeroKnowledg
- zkLLVM:nil Foundation开发的电路编译器
mutourend
零知识证明零知识证明
1.引言zkLLVM:nilFoundation开发的电路编译器,不是zkVM。不过,“zkLLVM+proofmarket”可构建zkVM。开源代码见:zkLLVMCircuitCompiler(C++)zkLLVM可:将高级编程语言编写的电路编译为LLVMIR(IntermediateRepresentation)bytecode表示;当前支持C/C++(Clang15),即将支持Rust语言
- 智能合约开发——Sui/Move vs. Solana/Rust
mutourend
智能合约智能合约
1.引言前序博客有:zkMove——针对Move合约生态的zkVM定位为高性能L1的Aptos和Sui,均采用Move合约编程语言。Solana也定位为高性能L1,但其采用Rust合约编程语言。本文重点对比Sui/Move和Solana/Rust合约编程语言。【Aptos/Move为不同的Move变种,有细微的差别。不过只要原生支持Movebytecode,则所有主要Move优势适于所有Move变
- zkMove——针对Move合约生态的zkVM
mutourend
zkVM零知识证明
1.引言Move为不同于Solidity的,开源的安全的智能合约开发语言,最早由Facebook为Diem链创造开发。不过,Move本身设计为与平台无关的语言,具有通用的库、工具,并使得采用完全不同数据模型和执行模型的链的开发者社区都可使用Move。当前支持Move合约的链有:Sui:定位为具有高吞吐量、低延迟、面向资产编程模式的下一代智能合约平台,采用Move语言进行合约开发。当前处于devne
- BulletproofVM:Avalanche上的zkVM
mutourend
zkVM零知识证明
1.引言开源代码见:https://github.com/usmaneth/BulletproofVM(Rust)BulletproofVM为Avalanche上的基于Bulletproofs证明系统构建的zkVM,其主要特性为:MaintainsastateconsistingofaccountswithbalancesandassetsExecutesstandardtransactionsf
- ViewController添加button按钮解析。(翻译)
张亚雄
c
<div class="it610-blog-content-contain" style="font-size: 14px"></div>// ViewController.m
// Reservation software
//
// Created by 张亚雄 on 15/6/2.
- mongoDB 简单的增删改查
开窍的石头
mongodb
在上一篇文章中我们已经讲了mongodb怎么安装和数据库/表的创建。在这里我们讲mongoDB的数据库操作
在mongo中对于不存在的表当你用db.表名 他会自动统计
下边用到的user是表明,db代表的是数据库
添加(insert):
- log4j配置
0624chenhong
log4j
1) 新建java项目
2) 导入jar包,项目右击,properties—java build path—libraries—Add External jar,加入log4j.jar包。
3) 新建一个类com.hand.Log4jTest
package com.hand;
import org.apache.log4j.Logger;
public class
- 多点触摸(图片缩放为例)
不懂事的小屁孩
多点触摸
多点触摸的事件跟单点是大同小异的,上个图片缩放的代码,供大家参考一下
import android.app.Activity;
import android.os.Bundle;
import android.view.MotionEvent;
import android.view.View;
import android.view.View.OnTouchListener
- 有关浏览器窗口宽度高度几个值的解析
换个号韩国红果果
JavaScripthtml
1 元素的 offsetWidth 包括border padding content 整体的宽度。
clientWidth 只包括内容区 padding 不包括border。
clientLeft = offsetWidth -clientWidth 即这个元素border的值
offsetLeft 若无已定位的包裹元素
- 数据库产品巡礼:IBM DB2概览
蓝儿唯美
db2
IBM DB2是一个支持了NoSQL功能的关系数据库管理系统,其包含了对XML,图像存储和Java脚本对象表示(JSON)的支持。DB2可被各种类型的企 业使用,它提供了一个数据平台,同时支持事务和分析操作,通过提供持续的数据流来保持事务工作流和分析操作的高效性。 DB2支持的操作系统
DB2可应用于以下三个主要的平台:
工作站,DB2可在Linus、Unix、Windo
- java笔记5
a-john
java
控制执行流程:
1,true和false
利用条件表达式的真或假来决定执行路径。例:(a==b)。它利用条件操作符“==”来判断a值是否等于b值,返回true或false。java不允许我们将一个数字作为布尔值使用,虽然这在C和C++里是允许的。如果想在布尔测试中使用一个非布尔值,那么首先必须用一个条件表达式将其转化成布尔值,例如if(a!=0)。
2,if-els
- Web开发常用手册汇总
aijuans
PHP
一门技术,如果没有好的参考手册指导,很难普及大众。这其实就是为什么很多技术,非常好,却得不到普遍运用的原因。
正如我们学习一门技术,过程大概是这个样子:
①我们日常工作中,遇到了问题,困难。寻找解决方案,即寻找新的技术;
②为什么要学习这门技术?这门技术是不是很好的解决了我们遇到的难题,困惑。这个问题,非常重要,我们不是为了学习技术而学习技术,而是为了更好的处理我们遇到的问题,才需要学习新的
- 今天帮助人解决的一个sql问题
asialee
sql
今天有个人问了一个问题,如下:
type AD value
A  
- 意图对象传递数据
百合不是茶
android意图IntentBundle对象数据的传递
学习意图将数据传递给目标活动; 初学者需要好好研究的
1,将下面的代码添加到main.xml中
<?xml version="1.0" encoding="utf-8"?>
<LinearLayout xmlns:android="http:/
- oracle查询锁表解锁语句
bijian1013
oracleobjectsessionkill
一.查询锁定的表
如下语句,都可以查询锁定的表
语句一:
select a.sid,
a.serial#,
p.spid,
c.object_name,
b.session_id,
b.oracle_username,
b.os_user_name
from v$process p, v$s
- mac osx 10.10 下安装 mysql 5.6 二进制文件[tar.gz]
征客丶
mysqlosx
场景:在 mac osx 10.10 下安装 mysql 5.6 的二进制文件。
环境:mac osx 10.10、mysql 5.6 的二进制文件
步骤:[所有目录请从根“/”目录开始取,以免层级弄错导致找不到目录]
1、下载 mysql 5.6 的二进制文件,下载目录下面称之为 mysql5.6SourceDir;
下载地址:http://dev.mysql.com/downl
- 分布式系统与框架
bit1129
分布式
RPC框架 Dubbo
什么是Dubbo
Dubbo是一个分布式服务框架,致力于提供高性能和透明化的RPC远程服务调用方案,以及SOA服务治理方案。其核心部分包含: 远程通讯: 提供对多种基于长连接的NIO框架抽象封装,包括多种线程模型,序列化,以及“请求-响应”模式的信息交换方式。 集群容错: 提供基于接
- 那些令人蛋痛的专业术语
白糖_
springWebSSOIOC
spring
【控制反转(IOC)/依赖注入(DI)】:
由容器控制程序之间的关系,而非传统实现中,由程序代码直接操控。这也就是所谓“控制反转”的概念所在:控制权由应用代码中转到了外部容器,控制权的转移,是所谓反转。
简单的说:对象的创建又容器(比如spring容器)来执行,程序里不直接new对象。
Web
【单点登录(SSO)】:SSO的定义是在多个应用系统中,用户
- 《给大忙人看的java8》摘抄
braveCS
java8
函数式接口:只包含一个抽象方法的接口
lambda表达式:是一段可以传递的代码
你最好将一个lambda表达式想象成一个函数,而不是一个对象,并记住它可以被转换为一个函数式接口。
事实上,函数式接口的转换是你在Java中使用lambda表达式能做的唯一一件事。
方法引用:又是要传递给其他代码的操作已经有实现的方法了,这时可以使
- 编程之美-计算字符串的相似度
bylijinnan
java算法编程之美
public class StringDistance {
/**
* 编程之美 计算字符串的相似度
* 我们定义一套操作方法来把两个不相同的字符串变得相同,具体的操作方法为:
* 1.修改一个字符(如把“a”替换为“b”);
* 2.增加一个字符(如把“abdd”变为“aebdd”);
* 3.删除一个字符(如把“travelling”变为“trav
- 上传、下载压缩图片
chengxuyuancsdn
下载
/**
*
* @param uploadImage --本地路径(tomacat路径)
* @param serverDir --服务器路径
* @param imageType --文件或图片类型
* 此方法可以上传文件或图片.txt,.jpg,.gif等
*/
public void upload(String uploadImage,Str
- bellman-ford(贝尔曼-福特)算法
comsci
算法F#
Bellman-Ford算法(根据发明者 Richard Bellman 和 Lester Ford 命名)是求解单源最短路径问题的一种算法。单源点的最短路径问题是指:给定一个加权有向图G和源点s,对于图G中的任意一点v,求从s到v的最短路径。有时候这种算法也被称为 Moore-Bellman-Ford 算法,因为 Edward F. Moore zu 也为这个算法的发展做出了贡献。
与迪科
- oracle ASM中ASM_POWER_LIMIT参数
daizj
ASMoracleASM_POWER_LIMIT磁盘平衡
ASM_POWER_LIMIT
该初始化参数用于指定ASM例程平衡磁盘所用的最大权值,其数值范围为0~11,默认值为1。该初始化参数是动态参数,可以使用ALTER SESSION或ALTER SYSTEM命令进行修改。示例如下:
SQL>ALTER SESSION SET Asm_power_limit=2;
- 高级排序:快速排序
dieslrae
快速排序
public void quickSort(int[] array){
this.quickSort(array, 0, array.length - 1);
}
public void quickSort(int[] array,int left,int right){
if(right - left <= 0
- C语言学习六指针_何谓变量的地址 一个指针变量到底占几个字节
dcj3sjt126com
C语言
# include <stdio.h>
int main(void)
{
/*
1、一个变量的地址只用第一个字节表示
2、虽然他只使用了第一个字节表示,但是他本身指针变量类型就可以确定出他指向的指针变量占几个字节了
3、他都只存了第一个字节地址,为什么只需要存一个字节的地址,却占了4个字节,虽然只有一个字节,
但是这些字节比较多,所以编号就比较大,
- phpize使用方法
dcj3sjt126com
PHP
phpize是用来扩展php扩展模块的,通过phpize可以建立php的外挂模块,下面介绍一个它的使用方法,需要的朋友可以参考下
安装(fastcgi模式)的时候,常常有这样一句命令:
代码如下:
/usr/local/webserver/php/bin/phpize
一、phpize是干嘛的?
phpize是什么?
phpize是用来扩展php扩展模块的,通过phpi
- Java虚拟机学习 - 对象引用强度
shuizhaosi888
JAVA虚拟机
本文原文链接:http://blog.csdn.net/java2000_wl/article/details/8090276 转载请注明出处!
无论是通过计数算法判断对象的引用数量,还是通过根搜索算法判断对象引用链是否可达,判定对象是否存活都与“引用”相关。
引用主要分为 :强引用(Strong Reference)、软引用(Soft Reference)、弱引用(Wea
- .NET Framework 3.5 Service Pack 1(完整软件包)下载地址
happyqing
.net下载framework
Microsoft .NET Framework 3.5 Service Pack 1(完整软件包)
http://www.microsoft.com/zh-cn/download/details.aspx?id=25150
Microsoft .NET Framework 3.5 Service Pack 1 是一个累积更新,包含很多基于 .NET Framewo
- JAVA定时器的使用
jingjing0907
javatimer线程定时器
1、在应用开发中,经常需要一些周期性的操作,比如每5分钟执行某一操作等。
对于这样的操作最方便、高效的实现方式就是使用java.util.Timer工具类。
privatejava.util.Timer timer;
timer = newTimer(true);
timer.schedule(
newjava.util.TimerTask() { public void run()
- Webbench
流浪鱼
webbench
首页下载地址 http://home.tiscali.cz/~cz210552/webbench.html
Webbench是知名的网站压力测试工具,它是由Lionbridge公司(http://www.lionbridge.com)开发。
Webbench能测试处在相同硬件上,不同服务的性能以及不同硬件上同一个服务的运行状况。webbench的标准测试可以向我们展示服务器的两项内容:每秒钟相
- 第11章 动画效果(中)
onestopweb
动画
index.html
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/
- windows下制作bat启动脚本.
sanyecao2314
javacmd脚本bat
java -classpath C:\dwjj\commons-dbcp.jar;C:\dwjj\commons-pool.jar;C:\dwjj\log4j-1.2.16.jar;C:\dwjj\poi-3.9-20121203.jar;C:\dwjj\sqljdbc4.jar;C:\dwjj\voucherimp.jar com.citsamex.core.startup.MainStart
- Java进行RSA加解密的例子
tomcat_oracle
java
加密是保证数据安全的手段之一。加密是将纯文本数据转换为难以理解的密文;解密是将密文转换回纯文本。 数据的加解密属于密码学的范畴。通常,加密和解密都需要使用一些秘密信息,这些秘密信息叫做密钥,将纯文本转为密文或者转回的时候都要用到这些密钥。 对称加密指的是发送者和接收者共用同一个密钥的加解密方法。 非对称加密(又称公钥加密)指的是需要一个私有密钥一个公开密钥,两个不同的密钥的
- Android_ViewStub
阿尔萨斯
ViewStub
public final class ViewStub extends View
java.lang.Object
android.view.View
android.view.ViewStub
类摘要: ViewStub 是一个隐藏的,不占用内存空间的视图对象,它可以在运行时延迟加载布局资源文件。当 ViewSt