- 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
- 项目中 枚举与注解的结合使用
飞翔的马甲
javaenumannotation
前言:版本兼容,一直是迭代开发头疼的事,最近新版本加上了支持新题型,如果新创建一份问卷包含了新题型,那旧版本客户端就不支持,如果新创建的问卷不包含新题型,那么新旧客户端都支持。这里面我们通过给问卷类型枚举增加自定义注解的方式完成。顺便巩固下枚举与注解。
一、枚举
1.在创建枚举类的时候,该类已继承java.lang.Enum类,所以自定义枚举类无法继承别的类,但可以实现接口。
- 【Scala十七】Scala核心十一:下划线_的用法
bit1129
scala
下划线_在Scala中广泛应用,_的基本含义是作为占位符使用。_在使用时是出问题非常多的地方,本文将不断完善_的使用场景以及所表达的含义
1. 在高阶函数中使用
scala> val list = List(-3,8,7,9)
list: List[Int] = List(-3, 8, 7, 9)
scala> list.filter(_ > 7)
r
- web缓存基础:术语、http报头和缓存策略
dalan_123
Web
对于很多人来说,去访问某一个站点,若是该站点能够提供智能化的内容缓存来提高用户体验,那么最终该站点的访问者将络绎不绝。缓存或者对之前的请求临时存储,是http协议实现中最核心的内容分发策略之一。分发路径中的组件均可以缓存内容来加速后续的请求,这是受控于对该内容所声明的缓存策略。接下来将讨web内容缓存策略的基本概念,具体包括如如何选择缓存策略以保证互联网范围内的缓存能够正确处理的您的内容,并谈论下
- crontab 问题
周凡杨
linuxcrontabunix
一: 0481-079 Reached a symbol that is not expected.
背景:
*/5 * * * * /usr/IBMIHS/rsync.sh
- 让tomcat支持2级域名共享session
g21121
session
tomcat默认情况下是不支持2级域名共享session的,所有有些情况下登陆后从主域名跳转到子域名会发生链接session不相同的情况,但是只需修改几处配置就可以了。
打开tomcat下conf下context.xml文件
找到Context标签,修改为如下内容
如果你的域名是www.test.com
<Context sessionCookiePath="/path&q
- web报表工具FineReport常用函数的用法总结(数学和三角函数)
老A不折腾
Webfinereport总结
ABS
ABS(number):返回指定数字的绝对值。绝对值是指没有正负符号的数值。
Number:需要求出绝对值的任意实数。
示例:
ABS(-1.5)等于1.5。
ABS(0)等于0。
ABS(2.5)等于2.5。
ACOS
ACOS(number):返回指定数值的反余弦值。反余弦值为一个角度,返回角度以弧度形式表示。
Number:需要返回角
- linux 启动java进程 sh文件
墙头上一根草
linuxshelljar
#!/bin/bash
#初始化服务器的进程PId变量
user_pid=0;
robot_pid=0;
loadlort_pid=0;
gateway_pid=0;
#########
#检查相关服务器是否启动成功
#说明:
#使用JDK自带的JPS命令及grep命令组合,准确查找pid
#jps 加 l 参数,表示显示java的完整包路径
#使用awk,分割出pid
- 我的spring学习笔记5-如何使用ApplicationContext替换BeanFactory
aijuans
Spring 3 系列
如何使用ApplicationContext替换BeanFactory?
package onlyfun.caterpillar.device;
import org.springframework.beans.factory.BeanFactory;
import org.springframework.beans.factory.xml.XmlBeanFactory;
import
- Linux 内存使用方法详细解析
annan211
linux内存Linux内存解析
来源 http://blog.jobbole.com/45748/
我是一名程序员,那么我在这里以一个程序员的角度来讲解Linux内存的使用。
一提到内存管理,我们头脑中闪出的两个概念,就是虚拟内存,与物理内存。这两个概念主要来自于linux内核的支持。
Linux在内存管理上份为两级,一级是线性区,类似于00c73000-00c88000,对应于虚拟内存,它实际上不占用
- 数据库的单表查询常用命令及使用方法(-)
百合不是茶
oracle函数单表查询
创建数据库;
--建表
create table bloguser(username varchar2(20),userage number(10),usersex char(2));
创建bloguser表,里面有三个字段
&nbs
- 多线程基础知识
bijian1013
java多线程threadjava多线程
一.进程和线程
进程就是一个在内存中独立运行的程序,有自己的地址空间。如正在运行的写字板程序就是一个进程。
“多任务”:指操作系统能同时运行多个进程(程序)。如WINDOWS系统可以同时运行写字板程序、画图程序、WORD、Eclipse等。
线程:是进程内部单一的一个顺序控制流。
线程和进程
a. 每个进程都有独立的
- fastjson简单使用实例
bijian1013
fastjson
一.简介
阿里巴巴fastjson是一个Java语言编写的高性能功能完善的JSON库。它采用一种“假定有序快速匹配”的算法,把JSON Parse的性能提升到极致,是目前Java语言中最快的JSON库;包括“序列化”和“反序列化”两部分,它具备如下特征:  
- 【RPC框架Burlap】Spring集成Burlap
bit1129
spring
Burlap和Hessian同属于codehaus的RPC调用框架,但是Burlap已经几年不更新,所以Spring在4.0里已经将Burlap的支持置为Deprecated,所以在选择RPC框架时,不应该考虑Burlap了。
这篇文章还是记录下Burlap的用法吧,主要是复制粘贴了Hessian与Spring集成一文,【RPC框架Hessian四】Hessian与Spring集成
 
- 【Mahout一】基于Mahout 命令参数含义
bit1129
Mahout
1. mahout seqdirectory
$ mahout seqdirectory
--input (-i) input Path to job input directory(原始文本文件).
--output (-o) output The directory pathna
- linux使用flock文件锁解决脚本重复执行问题
ronin47
linux lock 重复执行
linux的crontab命令,可以定时执行操作,最小周期是每分钟执行一次。关于crontab实现每秒执行可参考我之前的文章《linux crontab 实现每秒执行》现在有个问题,如果设定了任务每分钟执行一次,但有可能一分钟内任务并没有执行完成,这时系统会再执行任务。导致两个相同的任务在执行。
例如:
<?
//
test
.php
- java-74-数组中有一个数字出现的次数超过了数组长度的一半,找出这个数字
bylijinnan
java
public class OcuppyMoreThanHalf {
/**
* Q74 数组中有一个数字出现的次数超过了数组长度的一半,找出这个数字
* two solutions:
* 1.O(n)
* see <beauty of coding>--每次删除两个不同的数字,不改变数组的特性
* 2.O(nlogn)
* 排序。中间
- linux 系统相关命令
candiio
linux
系统参数
cat /proc/cpuinfo cpu相关参数
cat /proc/meminfo 内存相关参数
cat /proc/loadavg 负载情况
性能参数
1)top
M:按内存使用排序
P:按CPU占用排序
1:显示各CPU的使用情况
k:kill进程
o:更多排序规则
回车:刷新数据
2)ulimit
ulimit -a:显示本用户的系统限制参
- [经营与资产]保持独立性和稳定性对于软件开发的重要意义
comsci
软件开发
一个软件的架构从诞生到成熟,中间要经过很多次的修正和改造
如果在这个过程中,外界的其它行业的资本不断的介入这种软件架构的升级过程中
那么软件开发者原有的设计思想和开发路线
- 在CentOS5.5上编译OpenJDK6
Cwind
linuxOpenJDK
几番周折终于在自己的CentOS5.5上编译成功了OpenJDK6,将编译过程和遇到的问题作一简要记录,备查。
0. OpenJDK介绍
OpenJDK是Sun(现Oracle)公司发布的基于GPL许可的Java平台的实现。其优点:
1、它的核心代码与同时期Sun(-> Oracle)的产品版基本上是一样的,血统纯正,不用担心性能问题,也基本上没什么兼容性问题;(代码上最主要的差异是
- java乱码问题
dashuaifu
java乱码问题js中文乱码
swfupload上传文件参数值为中文传递到后台接收中文乱码 在js中用setPostParams({"tag" : encodeURI( document.getElementByIdx_x("filetag").value,"utf-8")});
然后在servlet中String t
- cygwin很多命令显示command not found的解决办法
dcj3sjt126com
cygwin
cygwin很多命令显示command not found的解决办法
修改cygwin.BAT文件如下
@echo off
D:
set CYGWIN=tty notitle glob
set PATH=%PATH%;d:\cygwin\bin;d:\cygwin\sbin;d:\cygwin\usr\bin;d:\cygwin\usr\sbin;d:\cygwin\us
- [介绍]从 Yii 1.1 升级
dcj3sjt126com
PHPyii2
2.0 版框架是完全重写的,在 1.1 和 2.0 两个版本之间存在相当多差异。因此从 1.1 版升级并不像小版本间的跨越那么简单,通过本指南你将会了解两个版本间主要的不同之处。
如果你之前没有用过 Yii 1.1,可以跳过本章,直接从"入门篇"开始读起。
请注意,Yii 2.0 引入了很多本章并没有涉及到的新功能。强烈建议你通读整部权威指南来了解所有新特性。这样有可能会发
- Linux SSH免登录配置总结
eksliang
ssh-keygenLinux SSH免登录认证Linux SSH互信
转载请出自出处:http://eksliang.iteye.com/blog/2187265 一、原理
我们使用ssh-keygen在ServerA上生成私钥跟公钥,将生成的公钥拷贝到远程机器ServerB上后,就可以使用ssh命令无需密码登录到另外一台机器ServerB上。
生成公钥与私钥有两种加密方式,第一种是
- 手势滑动销毁Activity
gundumw100
android
老是效仿ios,做android的真悲催!
有需求:需要手势滑动销毁一个Activity
怎么办尼?自己写?
不用~,网上先问一下百度。
结果:
http://blog.csdn.net/xiaanming/article/details/20934541
首先将你需要的Activity继承SwipeBackActivity,它会在你的布局根目录新增一层SwipeBackLay
- JavaScript变换表格边框颜色
ini
JavaScripthtmlWebhtml5css
效果查看:http://hovertree.com/texiao/js/2.htm代码如下,保存到HTML文件也可以查看效果:
<html>
<head>
<meta charset="utf-8">
<title>表格边框变换颜色代码-何问起</title>
</head>
<body&
- Kafka Rest : Confluent
kane_xie
kafkaRESTconfluent
最近拿到一个kafka rest的需求,但kafka暂时还没有提供rest api(应该是有在开发中,毕竟rest这么火),上网搜了一下,找到一个Confluent Platform,本文简单介绍一下安装。
这里插一句,给大家推荐一个九尾搜索,原名叫谷粉SOSO,不想fanqiang谷歌的可以用这个。以前在外企用谷歌用习惯了,出来之后用度娘搜技术问题,那匹配度简直感人。
环境声明:Ubu
- Calender不是单例
men4661273
单例Calender
在我们使用Calender的时候,使用过Calendar.getInstance()来获取一个日期类的对象,这种方式跟单例的获取方式一样,那么它到底是不是单例呢,如果是单例的话,一个对象修改内容之后,另外一个线程中的数据不久乱套了吗?从试验以及源码中可以得出,Calendar不是单例。
测试:
Calendar c1 =
- 线程内存和主内存之间联系
qifeifei
java thread
1, java多线程共享主内存中变量的时候,一共会经过几个阶段,
lock:将主内存中的变量锁定,为一个线程所独占。
unclock:将lock加的锁定解除,此时其它的线程可以有机会访问此变量。
read:将主内存中的变量值读到工作内存当中。
load:将read读取的值保存到工作内存中的变量副本中。
- schedule和scheduleAtFixedRate
tangqi609567707
javatimerschedule
原文地址:http://blog.csdn.net/weidan1121/article/details/527307
import java.util.Timer;import java.util.TimerTask;import java.util.Date;
/** * @author vincent */public class TimerTest {
 
- erlang 部署
wudixiaotie
erlang
1.如果在启动节点的时候报这个错 :
{"init terminating in do_boot",{'cannot load',elf_format,get_files}}
则需要在reltool.config中加入
{app, hipe, [{incl_cond, exclude}]},
2.当generate时,遇到:
ERROR