Halo2
halo2.11开发插件准备工作
fork https://github.com/halo-dev/plugin-starter 将fork后的项目git clone 3.导入idea,配置项目SDK为java17 4.build项目 5.修改 build.gradle 的 group 6.修改 settings.gradle 的r ......
halo2.11如何自定义模板
halo有一些自定义的模板,但是有时间这些模板不满足需求, 样式不满足,数据不满足等等,这时候可以定义自己的页面模板,具体步骤 halo中目录可以定义的模板类型有三种,分别为: post 文章 page 自定义页面 category 归档 一. 配置 在主题配置文件 theme.yaml 中添加配置 ......
halo2.11如何自定义表单数据
halo是一个非常强大的框架,可以制作个人博客,也可以制作企业官网 有时候需要定义自己的数据,一个比较常见的场景是首页轮播图,图片可以在后台设置, 因为不确定具体有多少张图片需要轮播,所以需要定义成一个数组, 可以使用halo中的formkit,其中 repeater 代表定义数组, 一. 首先需要 ......
在centos7云主机上docker方式安装halo2.11,数据库使用mysql5.7
1.提前安装好docker和docker-compose 2.在~目录下新建halo目录并进入 mkdir ~/halo && cd ~/halo 3.在halo目录新建 docker-compose.yml文件 vi docker-compose.yml 我这里使用的是外部的mysql,文件内容 ......
Halo2简单应用-斐波那契示例
电路设计 Halo2是基于PLONK算法的零知识证明框架,使用Rust语言。 在Halo2中要证明你掌握斐波那契数列,例如Fib(10)=55。则需要将你的每一步计算过程(秘密的)罗列出来。并由程序(电路)来进行验证,生成证明。 在PLONK算法里,我们使用表格来进行计算跟踪,例如: a b r 1 ......
Halo2简单示例
Halo2简介 [[Halo2]]是使用[[Rust]]语言开发,基于[[PLANK算法]]的,一款开源交互式([[STARKs]]),[[零知识证明(ZKP)]]的[[证明系统]]。 GitHub仓库地址:halo2 不同于普通的开发框架,Halo2中的功能开发称为电路(Circuit)开发,电路 ......
翻译-我从Halo2电路开发中学到的一些小技巧
角色 flowchart LR 证明者-->|输入/输出/证明|验证者 💁♂️证明者:提供 输入 / 输出 / 证明 👩💼 验证者:我不重新运行计算,但我确信输出计算正确 准备(开发)阶段 👨💻开发者:定义常量 👨💻开发者:发送密钥给 💁♂️证明者 及 👩💼验证者 验 ......
记Halo1.5版本迁移Halo2.10.0版本
原文地址: 记Halo1.5版本迁移Halo2.10.0版本 - Stars-One的杂货小窝 上一篇Window10安装linux子系统及子系统安装1Panel面板 - Stars-One的杂货小窝将对应的环境都准备好了,这下我们可以通过1Panel进行halo的2.10版本安装,来测试新版本升级 ......