lambdaworks

lambdaworks

从这些田野高塔的顶端,四十个世纪的数学正在俯瞰着我们。 此库提供了用于构建证明系统的加密原语的高效实现。同时，还提供了许多用于证明系统的后端，并支持与不同前端的兼容性。

• 利用零知识证明、完全同态加密和新的分布式系统算法来改变未来
• Lambda 加密学说

示例 - 迷你应用

以下是一些示例,可帮助您了解 lambdaworks 并了解使用提供的工具可以构建什么。大多数示例都是教育性的,不应在生产环境中使用。

证明系统与 SNARK

• BabySNARK
• Pinocchio
• 使用 Circom 与 lambdaworks 的 Groth16
• 证明 Miden

加密原语

• Merkle Tree CLI

• Shamir 的秘密共享

• Reed-Solomon 码

• 朴素 RSA

• Pohlig-Hellman 算法

• 你可以使用 Circom 生成电路,并使用 lambdaworks 的功能来使用 Groth16 来证明执行结果。