DarkFi中的Halo2 zkVM language——zkas

其他 2021-12-11 07:16:58 阅读次数: 0

1. 引言

前序博客有：

相关代码和文档有：

猜你喜欢

转载自blog.csdn.net/mutourend/article/details/121774185

DarkFi中的Halo2 zkVM language——zkas

zkVM设计性能分析

zk、zkVM、zkEVM及其未来

Halo2 FRI Gadget

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

RISC Zero zkVM 白皮书

RISC Zero zkVM Host & Guest 101

ZCash Halo2 代码解析

Halo2学习笔记——设计之Protocol Description（2）

Risc zero ZKVM：zk-STARKs + RISC-V

Zcash halo2 背后技术衍化介绍

Halo2 学习笔记——Gadgets 之 SHA-256

Halo2学习笔记——设计之Proving system（1）

Halo2 学习笔记——背景资料之Polynomials（3）

Halo2、Caulk+、Baloo、Cq Lookup argument细览

Halo2 学习笔记——设计之Proving system之Permutation argument（2）

Halo2 学习笔记——设计之Proving system之Inner product argument（6）

Halo2 学习笔记——设计之Proving system之Multipoint opening argument（5）

Halo2 学习笔记——设计之Proving system之Circuit commitments（3）

Halo2 学习笔记——设计之Proving system之Lookup argument（1）

Halo2学习笔记——设计之Proof和Field实现（3）

Halo2 学习笔记——背景资料之PLONKish arithmetization（7）

Halo2 学习笔记——背景资料之Polynomial commitment（6）

Halo2学习笔记——背景资料之Elliptic curves（5）

Halo2 学习笔记——背景资料之Cryptographic groups（4）

Halo2 学习笔记——设计之Proving system之Vanishing argument（4）

Halo2学习笔记——用户手册之Tips and tricks（1）

summa-solvency：基于Halo2的偿付能力证明方案

Go Programming Language 2

Language

今日推荐

Linus “吃狗粮”最积极！

开源日报 | Winamp播放器即将开源；生成式AI之战升级第二轮；Linus“吃狗粮”最积极；AI进入泡沫前期；吴泳铭为阿里云带来了什么？

NetBSD 禁止提交由 AI 生成的代码

Apache Doris 2.0.10 版本正式发布！

开源日报 | 大模型开战；大模型独角兽被曝卖身；周鸿祎建议谷歌开源所有产品；最大开源AI社区提供1000万美元共享GPU

开源日报 | Chrome内置Gemini的意义不在于Gemini；中国AI追随之路的五大误区；ECharts创始人“下海”养鱼；谷歌I/O开发者大会什么都有，只是没有惊喜

微软回应中国区AI团队“打包赴美”传闻

周排行

SVN服务端安装在阿里云

实战 | 相机标定

webpack核心概念

note20——》只要肯低头吃苦，人生就会有救

PAT甲级 1062 Talent and Virtue （25 分）排序

NG Toolset开发笔记--5GNR Resource Grid（26）

如何对待上司

oracle命令

第9章 STL迭代器

logstash使用es映射模板

每日归档

更多

2024-05-20(36)

2024-05-19(0)

2024-05-18(4)

2024-05-17(34)

2024-05-16(6)

2024-05-15(24)

2024-05-14(0)

2024-05-13(18)

2024-05-12(0)

2024-05-11(38)