轩辕镜像 官方专业版
轩辕镜像
专业版
轩辕镜像 官方专业版
轩辕镜像
专业版
首页个人中心搜索镜像
交易
充值流量¥7起我的订单
文档
工具
提交工单页面收录
zk-proof-fri-compressor

sindrilabs/zk-proof-fri-compressor

sindrilabs

ZK Stack证明者架构中的组件,负责生成并发送至L1的零知识证明。

下载次数: 0状态:社区镜像维护者:sindrilabs仓库类型:镜像最近更新:10 个月前
让 AI 帮你使用轩辕镜像? · 展开查看说明 · 点击收起说明

如果你使用 DeepSeek、元宝 AI、Copilot、ChatGPT 等 AI 工具,协助配置轩辕镜像、编写 docker pull 命令、修改 Docker Compose 镜像地址、配置镜像加速、排查镜像拉取失败、分析报错日志等问题,请先让 AI 阅读并遵守轩辕镜像的规则文档。

只需在 AI 对话中先发送下面这句话即可:

请先完整阅读并严格遵守以下文档中的全部规则与要求:

https://xuanyuan.cloud/agents.md

在未充分阅读并理解该文档前,不要生成任何命令、配置、修改建议、故障排查方案或技术回答。后续所有输出都必须严格以该文档中的规范为最高优先级执行。

查看 agents.md 用法指南与完整示范。国内用户首推 元宝 AI、DeepSeek 的深度思考模式,不推荐豆包 AI;Cursor 等编辑器可在对话 @ 该链接,或加入 User Rules。 若 AI 无法访问外链,可 打开说明文档 复制全文粘贴。文档会随站点更新,复制内容可能过期,建议定期检查。

中文简介
下载命令
镜像标签列表与下载命令
轩辕镜像,不浪费每一次拉取。
点击查看

快速参考

  • 维护者:
    Sindri Labs

  • 获取帮助:
    访问 我们的帮助页面 或 发送邮件

ZK Stack服务器推荐搭配

  • https://hub.docker.com/layers/***/server-v2/2.0-v28.2.0/images/sha256-6d87238c13a11e7730c962d5c3a171c3a04bac49994609b76327d1c7b231e6a8: v21.0.0_s1(zksync-circuit-prover、zk-prover-fri-gateway、zk-prover-job-monitor、zk-witness-generator、zk-proof-fri-compressor)

  • https://hub.docker.com/layers/***/server-v2/2.0-v27.1.0/images/sha256-f1d6a695121668d95ba56ac8487b00449a1ed777943c5a666ca124df36d00374: v20.0.0_s1(zksync-circuit-prover、zk-prover-fri-gateway、zk-prover-job-monitor、zk-witness-generator、zk-proof-fri-compressor)

  • https://hub.docker.com/layers/***/server-v2/2.0-v26.2.0/images/sha256-c956a74b570d0cb71bccbcda5b346dbe3ac264782ebf62de8255d760dd1d0b90: v18.0.0_s1(zksync-circuit-prover、zk-prover-fri-gateway、zk-prover-job-monitor、zk-witness-generator、zk-proof-fri-compressor)

  • https://hub.docker.com/layers/***/server-v2/2.0-v26.0.0/images/sha256-0dbb44a8cabfe5b14b84d97202e504653ea5332aad1807f6513a8c8d81de1b42: v18.0.0_s1(zksync-circuit-prover、zk-prover-fri-gateway、zk-prover-job-monitor、zk-witness-generator、zk-proof-fri-compressor)

  • https://hub.docker.com/layers/***/server-v2/v25.0.0/images/sha256-4f62e6ae8ab27753f254f47efdf4a321aa80248f5ca77ad7856668615fa45fba?context=explore: v17.0.0_s2(zksync-circuit-prover、zk-prover-fri-gateway、zk-prover-job-monitor、zk-witness-generator、zk-proof-fri-compressor)

  • https://hub.docker.com/layers/***/server-v2/v25.0.0/images/sha256-4f62e6ae8ab27753f254f47efdf4a321aa80248f5ca77ad7856668615fa45fba?context=explore: v17.0.0_s1(zk-prover-fri、zk-prover-fri-gateway、zk-prover-job-monitor、zk-witness-generator、zk-proof-fri-compressor)

  • https://hub.docker.com/layers/***/server-v2/v24.26.0/images/sha256-020b44a64b2dc73f50d55a1b9c4cba87976f6449a507ee58a8ef8cecd8e8c1e7?context=explore: v16.03.0_s4(zk-prover-fri、zk-prover-fri-gateway、zk-prover-job-monitor、zk-witness-generator、zk-proof-fri-compressor)

  • https://hub.docker.com/layers/***/server-v2/v24.24.0/images/sha256-8f10a71e6fee51ed45c509a3f6fbace5596738b6fe07783b187be6d7accd21bb?context=explore: v16.03.0_s2(zk-prover-fri、zk-prover-fri-gateway、zk-witness-generator、zk-proof-fri-compressor)

什么是Sindri?

Sindri提供自动化ZK证明基础设施,助力数百个团队(包括领先的Layer 2和Rollup)在数分钟内而非数月内完成部署。通过Sindri API,开发者可无缝集成可验证计算,缩短上市时间、降低成本并加速扩展。Sindri让零知识基础设施变得简单易用,在ZK应用部署栈中硬件密集度最高的层实现自动化。

sindri.app

如何使用这些镜像

从prover-v16.3.0及以上版本开始,Sindri期望ZK Stack配置参数通过配置文件而非环境变量传递。

⚠️ 隐私说明
证明容器仅需访问:

  • general.yaml:包含本地或远程电路工件的路径、轮询配置以及服务间的URL,
  • secrets.yaml:包含证明者数据库的URL。

特别敏感的文件(如wallets.yaml)无需提供。

以下是docker-compose.yml中Sindri证明者的配置示例:

yaml
    image: sindrilabs/zk-prover-fri:v17.0.0_s2
    entrypoint: /bin/sh -c "zksync_circuit_prover_sindri --secrets-path configs/secrets.yaml --config-path configs/general.yaml"
    environment:
      SINDRI_API_KEY: "${SINDRI_API_KEY}" 
    volumes:
      - artifacts:/artifacts
      - ${LOCAL_ECOSYSTEM_PATH}/chains/${CHAIN_NAME}/configs:/configs

上述示例中,artifacts目录包含证明生成输入,工作节点需将其发送至Sindri。挂载链的config目录,以便传递secrets.yaml和general.yaml。

环境变量

仅zk-prover-fri和zk-proof-fri-compressor需要将SINDRI_API_KEY作为环境变量提供。其他镜像不调用Sindri平台。

变量默认值用途
SINDRI_API_KEY你的Sindri API密钥
POLLING_INTERVAL_MS1000组件查询证明者数据库获取新任务前的最短等待时间(毫秒)
MAX_BACKOFF_MS60000组件查询证明者数据库获取新任务前的最长等待时间(毫秒)

保留变量

以下环境变量的默认设置已针对镜像自动优化,不建议用户覆盖。

变量默认值用途
POLLING_INTERVAL2证明者检索证明状态的间隔时间(秒)
POLLING_TIMEOUT5400证明者等待证明的最长时间(秒),超时后标记为失败任务
SINDRI_BASE_URLhttps://sindri.app构建Sindri API请求的基础URL
SINDRI_TEAMzksyncSindri上ZK Stack电路的团队所有者
CIRCUIT_TAG*prover-v17.0.0公共电路的标签,与镜像的证明者版本匹配

镜像变体

所有Sindri托管的ZK Stack证明者镜像的标签包含以下信息:

  1. ZK Stack证明者版本
  2. Sindri版本

例如,v17.0.0_s1表示Sindri对ZK Stack证明者17.0.0版本的初始支持。初始版本后的小更新会包含在v17.0.0_s2等标签中。

许可证

查看https://raw.githubusercontent.com/Sindri-Labs/sindri-resources/refs/heads/main/LICENSE%E4%BA%86%E8%A7%A3%E6%9C%AC%E9%95%9C%E5%83%8F%E4%B8%AD%E5%8C%85%E5%90%AB%E7%9A%84%E8%BD%AF%E4%BB%B6%E3%80%82%E4%B8%8E%E6%89%80%E6%9C%89Docker%E9%95%9C%E5%83%8F%E4%B8%80%E6%A0%B7%EF%BC%8C%E8%BF%99%E4%BA%9B%E9%95%9C%E5%83%8F%E5%8F%AF%E8%83%BD%E8%BF%98%E5%8C%85%E5%90%AB%E5%85%B6%E4%BB%96%E5%8F%97%E4%B8%8D%E5%90%8C%E8%AE%B8%E5%8F%AF%E8%AF%81%E7%BA%A6%E6%9D%9F%E7%9A%84%E8%BD%AF%E4%BB%B6%E3%80%82

镜像拉取方式

您可以使用以下命令拉取该镜像。请将 <标签> 替换为具体的标签版本。如需查看所有可用标签版本,请访问 标签列表页面。

轩辕镜像加速拉取命令点我查看更多 zk-proof-fri-compressor 镜像标签

docker pull docker.xuanyuan.run/sindrilabs/zk-proof-fri-compressor:<标签>

使用方法:

  • 登录认证方式
  • 免认证方式

DockerHub 原生拉取命令

docker pull sindrilabs/zk-proof-fri-compressor:<标签>

轩辕镜像配置手册

按平台快速找到配置文档

一键安装

一键安装 Docker

Linux Docker 一键安装

AI

用 AI 使用轩辕镜像

agents.md · AI 对话 · 提示词

Docker

登录仓库拉取

登录认证 · 私有仓库

专属域名拉取

免登录 · 高速拉取

Linux

Docker 镜像配置

Windows / Mac

Docker Desktop 配置

MacOS OrbStack

OrbStack 容器

Apple Container

macOS 原生容器

Docker Compose

Compose 项目配置

NAS

群晖

Synology 配置

飞牛

fnOS 镜像配置

绿联

绿联 NAS

威联通

QNAP 配置

极空间

极空间 NAS

Unraid

Unraid NAS

企业仓库

其他仓库

ghcr · Quay · nvcr

Harbor 镜像源

Proxy Repository 对接

Portainer 镜像源

Registries 配置

Nexus 镜像源

Docker Proxy 缓存

开发工具

Dev Containers

VS Code 开发容器

Podman

Podman 配置指南

Singularity / Apptainer

HPC 科学计算容器

Kubernetes

K8s Containerd

Kubernetes · Containerd

K3s

轻量级集群

面板 / 网络

爱快路由

iKuai 镜像加速

宝塔面板

一键配置镜像源

需要其他帮助?请查看我们的 常见问题Docker 镜像访问常见问题解答 或 提交工单

镜像拉取常见问题

功能

版本功能对比

功能对比 · 版本选择

支持的镜像仓库

Docker Hub · GCR · GHCR

新手拉取配置

登录 · 专属域名 · 配置

docker search 限制

专属域名 · Hub 搜索

不支持 push

仅支持 pull · 不支持

拉取速度原因

带宽 · 缓存 · 冷热镜像

错误码

402 与流量用尽

402 · 流量包 · 充值

401 认证失败

401 · docker login

manifest unknown

标签错误 · 镜像不存在

410 Gone 排查

410 · Docker 升级

429 限流

免费版 · 专业版 · 企业版 · 请求频率

其他报错

DNS 超时

DNS 解析 · 网络超时

TLS 证书失败

no matching manifest(架构)

账号

失败是否计费

manifest · blob · 计费

申请开发票(企业 / 个人)

企业 · 个人 · 工单

修改登录密码

网站 · 仓库 · 重置

注销账户

工单 · 数据 · 注销

原理

mirrors 不生效

daemon.json · 重启

去掉域名前缀

docker tag · 重命名

指定架构拉取

ARM64 · AMD64 · 多架构

latest 与「最新」

digest · 版本号 · 标签

查看全部问题→

用户好评

来自真实用户的反馈,见证轩辕镜像的优质服务

用户头像

oldzhang

运维工程师

Linux服务器

5

"Docker访问体验非常流畅,大镜像也能快速完成下载。"

轩辕镜像
镜像详情
...
sindrilabs/zk-proof-fri-compressor
定价查看流量套餐与价格
博客Docker 镜像公告与技术博客
专业版 · 高速稳定拉取镜像
高速镜像下载·在线技术支持·99.95% SLA 保障·付费会员免广告
50GB 仅 ¥7/年
专业版 · 高速稳定拉取镜像
50GB 仅 ¥7/年
高速镜像下载·在线技术支持·99.95% SLA 保障·付费会员免广告
用户协议·隐私政策·增值电信业务经营许可证:浙B2-20261007·©2024-2026 源码跳动©2024-2026 杭州源码跳动科技有限公司·商务合作:点击复制邮箱

更多 zk-proof-fri-compressor 镜像推荐

rancher/keybase-proof logo

rancher/keybase-proof

rancher
暂无描述
4千+ 次下载
9 年前更新
intel/qsr-video-compressor-oa logo

intel/qsr-video-compressor-oa

intel
暂无描述
902 次下载
7 个月前更新
mercureimaging/mercure-decompressor logo

mercureimaging/mercure-decompressor

mercureimaging
暂无描述
531 次下载
1 年前更新
proofdotpub/proof-sdk-runner logo

proofdotpub/proof-sdk-runner

proofdotpub
暂无描述
1万+ 次下载
8 年前更新
anishathalye/proof-html logo

anishathalye/proof-html

anishathalye
基于Headless Chrome的HTML转PDF工具,能够准确渲染现代HTML/CSS并生成高质量PDF文档,支持复杂布局、自定义页面设置和PDF元数据配置。
100万+ 次下载
5 个月前更新
proofbymarquee/proof-sdk-runner logo

proofbymarquee/proof-sdk-runner

proofbymarquee
暂无描述
1 次收藏1万+ 次下载
9 年前更新

查看更多 zk-proof-fri-compressor 相关镜像