看懂什么是Halo2

于 2024-07-09 22:54:55 发布
阅读量360 收藏
点赞数 19
分类专栏： 2021 论文 教学 2024算力共享 文章标签： 算法 网络
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_38998213/article/details/140308298
版权
教学 同时被 3 个专栏收录
189 篇文章 15 订阅 ¥89.90 ¥99.00
订阅专栏
2021 论文
118 篇文章 2 订阅 ¥99.90 ¥99.00
订阅专栏
2024算力共享
16 篇文章 0 订阅
订阅专栏

目录

Halo2（零知识证明框架）是什么

Halo2概述

Halo2的原理

电路开发

斐波那契数列举例说明

Halo2的应用

结论

PLONK算法是什么

PLONK算法概述

PLONK算法原理

1. 电路描述与约束

2. 多项式表达与验证

3. 初始设置与随机性

PLONK举例说明

PLONK例子：验证简单的算术等式

步骤 1：构建算术电路

步骤 2：转换为约束系统

步骤 3：使用多项式承诺方案验证

因果关系总结

PLONK举例说明,复杂例子

例子：验证多项式函数

步骤 1：构建算术电路

步骤 2：转换为约束系统

步骤 3：多项式形式

步骤 4：使用多项式承诺方案验证

例子中隐藏的信息那是什么

例子中最终证明的是什么，验证者可能输入是什么

Rust编程语言

Rust编程语言概述

原理举例

总结

Halo2（零知识证明框架）是什么

Halo2是一种基于PLONK算法的零知识证明框架，它以其独特的功能开发方式——电路（Circuit）开发，为开发者提供了一种全新的视角和工具来保护隐私和数据安全。以下是对Halo2的详细解释及其原理的举例说明：

Halo2概述

Halo2由ECC公司在Halo的基础上，使用PLONK算法进行升级改造，充分利用了PLONK的特性，如custom gate、PLONKup等，使得开发零知识证明电路更加高效和方便。Halo2采用Rust编程语言，其核心是Halo 2证明系统，这是一个高度优化的框架，适用于创建高效且安全的零知识证明。

Halo2的原理

Halo2的原理主要基于零知识证明的概念，即通过特定的数学方法和算法，证明某个命题的真实性

了解本专栏 订阅专栏 解锁全文
ZhangJiQun&MXP
关注
  • 19
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
订阅专栏
halo主题开发环境搭建
404
05-26 961
如果要是移植主题更简单, 别人的样式和JS交互都写好了, 关键是看懂那些JS, CSS, 毕竟现在前端工程化以后出了好多新的花样, 各种新晋的预编译语言, 框架, 包管理工具, 比如sass typescript npm pnpm yarn …环境配置, 确实挺简单, 但是长时间不配, 现配确实挺耗时间, 毕竟现在很多开发工具内置自动下载环境, 想当年JDK还要自己手动配环境变量, 在此做个记录。数据, 主题, 配置文件目录在C:\Users\用户名\halo2-dev\。
使用halo和hexo+github两种方式免费搭建个人博客网站
kuokay的博客
04-15 5202
hexo 简介 Hexo是一款基于Node.js的静态博客框架，依赖少易于安装使用，可以方便的生成静态网页托管在GitHub和Heroku上，是搭建博客的首选框架。 hexo搭建步骤 安装Git 安装Node.js 安装Hexo GitHub创建个人仓库 生成SSH添加到GitHub 将hexo部署到GitHub 更换主题 发布文章 初识MarkDown语法 我的博客地址:https://kuokay.github.io/ 1. 安装Git 有不懂git的可以去看看https://www.liaox
学习开源项目Halo（二）
SiuMu_的博客
11-04 1906
undertow容器 打开application.yaml文件，就可以看到Halo的配置内容，笨鸟有笨的办法，我们可以一点点的开始分析，先来看看关于内置服务器undertow的配置 server: port: 8090 use-forward-headers: true undertow: io-threads: 2 worker-threads: 36 ...
Halo博客建站小记
u011267362的博客
10-06 3449
0. 背景 19年国庆期间宅家里，闲着无聊，心血来潮想搭个博客，想想之前也搞过好几个博客，就是没有坚持下来，很是可惜，一转眼已经工作3年有余，是该把自己的学习过程，整理整理，形成自己的知识沉淀，同时梳理一下自己的技术体系框架，看看是否能形成比较系统的知识。 1. 博客系统选择 说干就干，第一步就是选择一个开源的博客系统了。简单搜索一下比较受欢迎的开源博客系统： WordPress 之类的排除掉，...
OpenH2：Halo 2的开源工具和引擎
02-04
OpenH2是Halo 2的开源游戏引擎和工具。它是反向工程Halo 2（Vista）地图文件格式的个人项目。 我明确避免对二进制文件或分布式工具进行任何反向工程。 标签架构 当前，通过在属性上具有属性的标签类型集定义将地图...
Halo
03-30
2. **组件化**：为了提高代码复用和可维护性，Halo可能会包含预定义的HTML组件，如导航栏、按钮、卡片、模态框等。 3. **JavaScript支持**：除了HTML，Halo可能还包括与jQuery或其他JavaScript库（如Vue.js、React...
Halo博客搭建部署(halo+nginx+主题)
12-04
2. **运行Halo**：在终端中，通过Java命令行运行Halo服务。在`/opt/halo`目录下执行： ``` java -jar halo-1.4.17.jar ``` 这将会启动Halo博客服务，并默认在http://localhost:8080上运行。首次启动时，你需要...
halo-stat-notifier:你好
05-31
光环：MCC 统计通知程序 :sparkles: 欢迎使用Halo：Master Chief Collection Stat通知程序！ 这是在 2020 年 3 月完成的——如果你足够健康，有时社交疏远会变得无聊，我没有给我的朋友发短信让我和我一起玩 Halo，...
halo全教程.docx
05-08
该word文档详细记录了我在ubuntu18.04上完整搭建halo博客的全过程，内含SSL证书部署、图床搭建等等
【代码随想录_Day27】509 斐波那契数 70 爬楼梯 746 使用最小花费爬楼梯
最新发布
qq_43671872的博客
07-08 611
509 斐波那契数70 爬楼梯746 使用最小花费爬楼梯今天的题目难度不低，尽量还是写一些简洁代码 ^ _ ^
算法力扣刷题 三十一【150. 逆波兰表达式求值】
danaaaa的博客
07-04 670
后缀表示法。
【力扣】数组中的第K个最大元素
m0_61876562的博客
07-05 266
l, left]（该部分小于基准元素key）、[left + 1, right - 1]（等于基准元素key）、[right, r]（大于基准元素key）。3、计算每部分所包含的元素个数，分别为a 、b = right - left - 1、 c = r - right + 1;请注意，你需要找的是数组排序后的第。你必须设计并实现时间复杂度为。个最大的元素，而不是第。1、随机选择基准元素。
【算法】插入排序
贱贱的剑
07-03 1007
介绍了两种不同的插入排序算法，以及效率对比
LSH算法：高效相似性搜索的原理与Python实现II
uncle_ll的博客
07-02 929
lsh基于随机平面的实现
秋招力扣刷题——从前序与中序遍历序列构造二叉树
qq_50604294的博客
07-04 211
给定两个整数数组 preorder 和 inorder ，其中 preorder 是二叉树的先序遍历， inorder 是同一棵树的中序遍历，请构造二叉树并返回其根节点。：两种代码的结束条件以及分割的右区间处理方式不同，后者更容易理解一点。
详解反向传播（BP）算法
PiggyRuns的博客
07-02 1221
一文详解反向传播算法公式推导以及pytorch实现
Python基于卷积神经网络分类模型(CNN分类算法)实现时装类别识别项目实战
胖哥真不错的博客
07-03 1041
Python基于卷积神经网络分类模型(CNN分类算法)实现时装类别识别项目实战
算法力扣刷题 三十二【239. 滑动窗口最大值】
danaaaa的博客
07-05 661
单调队列（自定义一种队列规则）使用场景1.
日地L2点Halo轨道matlab代码
05-09
以下是一个简单的 Matlab 代码来计算日地L2点Halo轨道。请注意，这个代码只是一个例子，可能需要根据您的具体问题进行修改和调整。 ``` % 定义常量 G = 6.67408e-11; % 万有引力常数 M_sun = 1.98847e30; % 太阳质量 M_earth = 5.97237e24; % 地球质量 L2_distance = 1.5e6; % 日地L2点到地球的距离 omega = sqrt(G*M_sun/L2_distance^3); % 角速度 % 定义时间数组 t_start = 0; t_end = 365*24*3600; % 一年的秒数 dt = 3600; % 时间步长 t = t_start:dt:t_end; % 初始化轨道参数 x = zeros(size(t)); y = zeros(size(t)); z = zeros(size(t)); vx = zeros(size(t)); vy = zeros(size(t)); vz = zeros(size(t)); % 设置初始条件 x(1) = L2_distance; y(1) = 0; z(1) = 0; vx(1) = 0; vy(1) = omega*L2_distance; vz(1) = 0; % 计算轨道 for i = 2:length(t) r = sqrt(x(i-1)^2 + y(i-1)^2 + z(i-1)^2); ax = -G*M_sun*x(i-1)/r^3; ay = -G*M_sun*y(i-1)/r^3; az = -G*M_sun*z(i-1)/r^3; vx(i) = vx(i-1) + ax*dt; vy(i) = vy(i-1) + ay*dt; vz(i) = vz(i-1) + az*dt; x(i) = x(i-1) + vx(i)*dt; y(i) = y(i-1) + vy(i)*dt; z(i) = z(i-1) + vz(i)*dt; end % 画图 figure plot3(x,y,z) xlabel('x') ylabel('y') zlabel('z') title('Halo orbit at L2 point') ``` 这个代码计算的是一个简单的三维轨道，它的形状是一个环。您可以根据您的需求更改初始条件和其他参数来获得您需要的轨道形状。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

ZhangJiQun&MXP

等到80岁回首依旧年轻

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值