Psy is a ZK-native independent chain built on Plonky2 recursive proofs. Sharded execution, browser-side proving, and a complete open-source toolkit for building cross-chain ZK applications. Psy 是一条基于 Plonky2 递归证明的 ZK 原生独立链。分片执行、浏览器端证明生成,以及一整套用于构建跨链 ZK 应用的开源工具集。
┌─ USER LAYER ──────────────────────────────────────────────────┐ psy-wallet (private) psy-web-ide (private) ├─ SDK & TOOLING ──────────────────────────────────────────────┤ psy-sdk psyup doge-sdk ├─ LANGUAGE & COMPILER ────────────────────────────────────────┤ psy-compiler psy-prover plonky2-toolbelt ├─ PROTOCOL & CONSENSUS ───────────────────────────────────────┤ psy-node city-rollup parth-generic (private) ├─ ZK ACCELERATION ────────────────────────────────────────────┤ plonky2-hwa plonky2-metal plonky2-wasm plonky2.5 ├─ CRYPTOGRAPHIC PRIMITIVES ───────────────────────────────────┤ poseidon2 poseidon-goldilocks noble-secp256k1 ├─ DOGECOIN INFRASTRUCTURE ────────────────────────────────────┤ doge-on-solana doge-light-client electrs-doge psy-doge-solana-bridge txindex rust-dogecoin └──────────────────────────────────────────────────────────────┘
The chain itself, the prover, the language compiler, and the SDK that ties it all together.链本体、证明生成器、语言编译器,以及将三者串起来的 SDK。
The Psy node implementation. A privacy-preserving blockchain that scales to millions of users via sharded realms and recursive ZK proofs.Psy 节点实现。通过分片域与递归 ZK 证明实现面向数百万用户规模的隐私保护区块链。
Psy ZkVM and circuit library plus local proof generation — including a WASM build for in-browser proving.Psy ZkVM 与电路库,含本地证明生成,并提供 WASM 版本支持浏览器端证明。
The Psy language compiler. A complete pipeline from lexer through to ZK circuit generation, with LSP and a `dargo` CLI for the full dev loop.Psy 语言编译器。从词法分析到 ZK 电路生成的完整流水线,配套 LSP 与 `dargo` 命令行工具,支持完整开发循环。
TypeScript SDK for Psy. Wallet management, transaction signing, RPC providers for coordinator and realm edges, and a browser-compatible local prover.Psy 的 TypeScript SDK。钱包管理、交易签名、协调器与分片边缘 RPC 客户端,附带浏览器兼容的本地证明器。
One-line installer for the Psy toolchain. Inspired by `rustup` — keeps psy-compiler, dargo, and the rest of the local dev stack in sync.Psy 工具链的一键安装器。借鉴 `rustup` 设计,保持 psy-compiler、dargo 及本地开发栈其它工具的版本同步。
Trustless bridges, light clients, and indexers that anchor Psy to Dogecoin and Solana via zero-knowledge proofs of consensus.通过共识层零知识证明,将 Psy 与 Dogecoin、Solana 锚定的去信任桥接、轻客户端与索引器。
🐶 A trust-minimized Dogecoin to Solana bridge powered by zero knowledge proofs. No custodial relayers — proof of consensus is verified on-chain.🐶 由零知识证明驱动的去信任 Dogecoin → Solana 桥。无托管中继商——共识证明在链上验证。
Such IBC, very trustless. Full verification of Dogecoin consensus on Solana — the building block for the bridge.真·去信任的 IBC。在 Solana 上完整验证 Dogecoin 共识——桥的核心构建模块。
A trustless ZK rollup on Dogecoin 🐶 — proof-of-concept for high-throughput execution with Dogecoin as the data availability layer.运行在 Dogecoin 之上的去信任 ZK 卷叠 🐶——以 Dogecoin 作为数据可用性层的高吞吐执行 PoC。
A feature-complete light client for verifying Dogecoin on-chain. Validates headers and proves consensus inside ZK circuits.用于在链上验证 Dogecoin 的全功能轻客户端。验证区块头并在 ZK 电路内证明共识。
🐶 A very lightweight Dogecoin library — just 20kb gzipped, with both Node and browser support. Wow ✨🐶 一个极轻量的 Dogecoin 库——压缩后仅 20KB,同时支持 Node 与浏览器。
An efficient re-implementation of Electrum Server in Rust, ported to Dogecoin. Powers the indexer behind the bridge.用 Rust 重写的 Electrum Server 高效实现,移植到 Dogecoin。为桥后端的索引器提供动力。
A reorg-tolerant, modular framework for building ordinals and transaction indexers on Bitcoin and Dogecoin.一个抗重组、模块化的索引框架,适用于在 Bitcoin 与 Dogecoin 上构建 ordinals 与交易索引器。
Plonky2 with hardware acceleration, browser proving, recursive verification, and the toolkit that makes proofs fast enough to run anywhere.含硬件加速、浏览器证明与递归验证的 Plonky2 套件——让证明在任何地方都跑得动。
Plonky2 with modular, pluggable hardware acceleration ⚡. Drop in a GPU/Metal/WebGPU backend without forking the prover.支持模块化、可插拔硬件加速的 Plonky2 ⚡。无需 fork 主仓即可接入 GPU / Metal / WebGPU 后端。
Speed up Plonky2 / Starky proving by 50% on Apple Silicon Macs using Metal acceleration. Demo + benchmarks.利用 Apple Silicon Mac 的 Metal 加速,将 Plonky2 / Starky 证明速度提升 50%。含演示与基准测试。
Plonky2 with WebGPU optimizations for in-browser proving. Generate ZK proofs client-side with no server round-trip.面向浏览器证明的 Plonky2 + WebGPU 优化版。客户端生成 ZK 证明,无需服务端往返。
🪩 Verify Plonky3 proofs inside Plonky2. The recursive bridge that lets old verifiers prove new circuits — no migration required.🪩 在 Plonky2 内部验证 Plonky3 证明。让旧验证器继续证明新电路的递归桥,无需迁移。
A grab-bag of useful Plonky2 gadgets and goodies — common circuit components, helpers, and patterns harvested from production work.实用 Plonky2 gadget 与工具集——从生产实践中提炼的常用电路组件、辅助函数与模式。
Hand-tuned implementations of the hashes, fields, and signatures that ZK systems live or die on. Tiny bundles, browser-friendly, audit-ready.为 ZK 系统精心调校的哈希、域与签名实现。包体极小、浏览器友好、可审计。
TypeScript implementation of the Poseidon2 hash function — only 3kb 🎉. The standard ZK-friendly hash, now small enough to ship anywhere.Poseidon2 哈希函数的 TypeScript 实现——仅 3KB 🎉。标准 ZK 友好哈希,体积小到可放入任何项目。
Hashing a Poseidon2 Merkle tree in parallel using a WebGPU compute shader. Live demo of GPU-accelerated ZK hashing in the browser.使用 WebGPU 计算着色器并行哈希 Poseidon2 默克尔树。浏览器内 GPU 加速 ZK 哈希的实时演示。
Poseidon hash for the Goldilocks field with expanded functionality. The exact variant Plonky2 uses internally.面向 Goldilocks 域的 Poseidon 哈希,含扩展功能。Plonky2 内部所用的具体变体。
Fastest 4KB JS implementation of secp256k1 signatures and ECDH. Bridge-grade, audit-ready elliptic curve crypto.最快的 4KB JavaScript secp256k1 签名与 ECDH 实现。桥接级、可审计的椭圆曲线密码学。
The schelling point for ZK applications. Higher-level building blocks for cross-chain, oracle, and bridge circuits.ZK 应用的谢林点。面向跨链、预言机与桥电路的高阶构建模块。
A STARK prover and verifier for arbitrary computations. Complement to Plonky2 when STARK transparency matters more than proof size.面向任意计算的 STARK 证明器与验证器。当透明性比证明大小更重要时,与 Plonky2 互为补充。
Cairo-VM Stark verifier in Arkworks. WIP integration that lets Cairo proofs settle on chains where Arkworks is already deployed.基于 Arkworks 的 Cairo-VM Stark 验证器。开发中,让 Cairo 证明可在已部署 Arkworks 的链上结算。
A minimal Fibonacci example for the Plonky3 system. The clearest "hello world" for understanding the new prover stack.Plonky3 系统的极简斐波那契示例。理解新证明栈的最佳「Hello World」。
Six application classes that become genuinely buildable when you stack browser-side proving, recursive verification, sub-cent transaction cost, and trust-minimized cross-chain. Forecasts, not promises.当浏览器端证明、递归验证、亚分钱级交易成本与去信任跨链叠加在一起,下面这六类应用才真正变得可造。属预测而非承诺。
Stablecoin transfers and on-chain finance where the amount, sender, and recipient are hidden — but compliance auditors can still selectively verify what they need. 金额、付款人、收款人均隐藏的稳定币转账与链上金融——同时合规审计方仍可对所需信息进行选择性验证。
Native Bitcoin and Dogecoin moving across heterogeneous chains via ZK proofs of consensus — no wrapped tokens, no multisig custodians, no bridge hacks. 通过共识层 ZK 证明,原生 Bitcoin 与 Dogecoin 在异构链间流转——无包装代币、无多签托管、无桥被盗风险。
Sub-cent payments fast enough that an autonomous agent can pay another agent — or pay a model API per inference — without API keys, subscriptions, or human loops. 亚分钱级支付的速度,足以让自主智能体付款给另一智能体——或按推理次数付款给模型 API——无需 API 密钥、订阅或人工干预。
Proofs generated entirely in the browser via WebGPU — no server round-trip, no trust in the relay. Statements about you, signed locally, verifiable by anyone. 通过 WebGPU 完全在浏览器内生成证明——无需服务端往返,不依赖中继。关于你的声明,本地签名,任何人可验证。
Heavy computation runs off-chain; a tiny ZK proof of correct execution settles on-chain. Bridges trust between cheap compute markets and expensive consensus. 繁重计算在链下执行;一份精简的 ZK 正确性证明在链上结算。在廉价计算市场与昂贵共识之间架设信任之桥。
Cryptographic identity that proves what's true about you without revealing who you are. Reputation that follows you across platforms — without giving any of them your real name. 能证明关于你「事实」的密码学身份,但不泄露你是谁。可跨平台携带的声誉——而无需向任何平台交出真实姓名。