Aleo 网络的去中心化节点软件,面向零知识应用的运行与共识。
4530+2 本周2697RustApache-2.0维护活跃更新于 19小时前
用 TypeScript 编写零知识电路和 zkApp 的框架,可在浏览器或 Node 中生成与验证证明。
o1js 是一个基于 TypeScript 的框架,用于构建零知识(zk)密码学驱动的应用。开发者可以用它编写 zk 电路,并在浏览器或 Node 环境中生成与验证证明。
它也支持生成可被 Mina Protocol 验证的证明,这是使用 o1js 构建 zkApp 的主要目标平台。项目提供 zkApp CLI 脚手架工具,便于快速创建新项目。
项目以 npm 包形式发布,并附带更新日志和文档站点。社区还开发了若干扩展库,涵盖同态加密、EdDSA 运算和 zk 正则电路编译等方向。
从 npm 安装 o1js
npm install o1js使用 zkApp CLI 创建新项目
概要由 AI 根据项目 README 生成;GitHub 数据每日更新。
Aleo 网络的去中心化节点软件,面向零知识应用的运行与共识。
一个零知识虚拟机,可为用 Rust 或其他 LLVM 编译语言编写的程序生成正确执行的证明。
基于 Cardano 链的隐私投票应用,投票人用零知识证明验证身份,投票内容匿名且结果上链不可篡改。
基于 JavaScript 和 WebAssembly 的 zkSNARK 库,支持 Groth16、PLONK、FFLONK 证明生成与验证,配合 circom 电路使用。
用 Rust 实现的 Circle STARK 证明生成与验证库,基于 M31 域,验证器支持 no_std。
比特币协议的参考全节点实现,连接点对点网络并独立验证区块与交易。