【亲测免费】 zkSNARK与PLONK方案的JavaScript和WebAssembly实现——snarkjs项目推荐
2026-01-29 11:36:51作者:凌朦慧Richard
1. 项目基础介绍与主要编程语言
snarkjs 是一个由CSDN公司开发的JavaScript和Pure Web Assembly实现的zkSNARK(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge)和PLONK方案的开源项目。zkSNARK是一种密码学证明系统,允许一方(证明者)向另一方(验证者)证明某个陈述是真实的,而无需透露任何额外信息。该项目主要使用JavaScript编程语言,同时利用Web Assembly来提高计算性能。
2. 项目核心功能
snarkjs项目提供了以下核心功能:
- zkSNARK和PLONK方案的实现:项目支持Groth16协议(仅3个点和3对配对)以及PLONK和FFLONK方案。
- 信任设置多党仪式工具:包含进行信任设置所需的全部工具,如通用阶段1的“powers of tau”仪式和第二阶段特定电路的仪式。
- 与Semaphore等其他实现的兼容性:使用的多党计算格式与Semaphore的Perpetual Powers of Tau和其他实现兼容。
- 编译电路支持:使用circom编译器生成的编译电路,可以在Node.js和浏览器中直接运行。
- 性能优化:底层密码学直接在Web Assembly中执行,并使用worker线程来并行化计算,实现高性能。
3. 项目最近更新的功能
最近更新的功能包括但不限于以下几点:
- 性能优化:对现有算法进行了优化,提高了计算效率。
- 错误修复:修复了一些在特定情况下出现的bug,提高了项目的稳定性。
- 文档更新:项目文档得到了更新,提供了更清晰的安装指南和使用说明。
- 功能增强:增强了仪式的参与流程,优化了贡献和验证过程。
通过这些更新,snarkjs项目在保证安全性的同时,进一步提升了用户体验和项目的可用性。
登录后查看全文
热门项目推荐
相关项目推荐
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust0191
cann-learning-hubCANN 学习中心仓,支持在线互动运行、边学边练,提供教程、示例与优化方案,一站式助力昇腾开发者快速上手。Jupyter Notebook0114
Step-3.7-FlashStep-3.7-Flash是一个拥有 1980 亿参数的稀疏混合专家(MoE)视觉语言模型,由 1960 亿参数的语言主干网络和 18 亿参数的视觉编码器组合而成,具备原生图像理解能力。Python00
JoyAI-EchoJoyAI-Echo,这是一个独立的、仅用于推理的版本,旨在实现分钟级多镜头音视频生成。它采用了经过蒸馏的DMD生成器、配对的跨模态记忆以及故事级别的一致性。其性能的核心在于,一个跨模态视听记忆库能够在长达五分钟的视频中保持角色外观和语音音色的一致性。同时,一个训练后处理流程将基于记忆的强化学习与分布匹配蒸馏相结合,实现了7.5倍的速度提升,显著增强了视觉质量和对齐效果。00
omega-aiOmega-AI:基于java打造的深度学习框架,帮助你快速搭建神经网络,实现模型推理与训练,引擎支持自动求导,多线程与GPU运算,GPU支持CUDA,CUDNN。Java04
llm-universe本项目是一个面向小白开发者的大模型应用开发教程,在线阅读地址:https://datawhalechina.github.io/llm-universe/Jupyter Notebook08
热门内容推荐
最新内容推荐
项目优选
收起
暂无描述
Dockerfile
763
4.96 K
本项目是CANN提供的transformer类大模型算子库,实现网络在NPU上加速计算。
C++
856
1.92 K
本项目是CANN提供的神经网络类计算算子库,实现网络在NPU上加速计算。
C++
676
1.33 K
Ascend Extension for PyTorch
Python
719
875
deepin linux kernel
C
32
16
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
455
437
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
1.07 K
1.09 K
华为昇腾面向大规模分布式训练的多模态大模型套件,支撑多模态生成、多模态理解。
Python
150
252
CANN 学习中心仓,支持在线互动运行、边学边练,提供教程、示例与优化方案,一站式助力昇腾开发者快速上手。
Jupyter Notebook
297
114
昇腾LLM分布式训练框架
Python
178
220