密码学文章 - 第25页

零知识编程语言

文章介绍了零知识证明编程语言的工作原理，并列举了几种流行的零知识证明编程语言，如Circom、Zokrates、Noir和Cairo，同时讨论了它们在区块链和隐私保护中的应用。

零知识证明编程语言 circom ZoKrates Noir Cairo

RareSkills
发布于 2022-12-24
阅读 ( 457 )

什么是零知识证明：ZK-SNARKs？|Tokenview

零知识证明（Zero-knowledgeproofs）是允许一方向另一方透露信息知识而不透露信息本身的机制。ZK证明也称为有效性证明，最初用于隐藏以隐私为中心的区块链中的交易细节。

zkSNARK 零知识证明

Tokenview
发布于 2022-12-23
阅读 ( 6056 )
( 25 )

Paillier 同态加密算法

算法同态加密 FHE

alphjon
发布于 2022-11-28
阅读 ( 5014 )
( 12 )

密码学：后量子密码学中的模数是多少？

公钥加密的旧篇章即将结束，新篇章即将开启。在20世纪70年代末完成的工作对我们很有帮助，但现在我们面临着量子计算机会打破这些方法的威胁。

密码学

ChinaDeFi 去中心化金融社区
发布于 2022-11-16
阅读 ( 2689 )

加密货币拒付

本文探讨了加密货币目前不支持拒付的原因以及未来实现拒付的可能性。文章分析了传统信用卡拒付机制的运作方式，以及在加密货币中引入类似机制所面临的挑战，如缺乏中心化的仲裁机构和强制执行手段。同时，文章提出了几种可能的解决方案，包括多重签名托管和保险模式，并强调了身份验证在实现可靠拒付方面的重要性。

拒付加密货币区块链争议解决身份验证智能合约

kjameslubin
发布于 2022-11-12
阅读 ( 55 )

零知识证明 - FPGA vs. GPU

本文从MSM的计算入手，分析FPGA和GPU加速零知识证明计算的优缺点。

零知识证明 FPGA GPU 硬件加速

Star Li
发布于 2022-09-19
阅读 ( 8426 )
( 3 )

零知识文献，第一部分和第二部分

本文汇总了一系列关于零知识技术的资源，其中包括零知识证明的基础、历史演变、应用以及相关论文的阅读列表。这些内容充分展示了零知识证明在区块链可扩展性和隐私保护应用中的重要性，涵盖了从理论到实践的多个方面，适合希望深入理解这一领域的读者。

零知识证明区块链隐私保护 SNARKs 加密技术计算机科学

a16z Crypto
发布于 2022-09-18
阅读 ( 1426 )

SNARK安全性和性能

本文深入探讨了SNARK（简洁非交互式知识论证）的性能、成本和安全性，尤其是在与量子安全相关的背景下。它比较了不同类型的SNARK及其在去中心化设置中的应用，同时提出了确保SNARK安全性和性能的建议。

SNARK PQ-SNARK 安全性验证成本量子攻击多项式承诺

a16z Crypto
发布于 2022-09-14
阅读 ( 1162 )

使用 SNARKs 批处理 ECDSA 签名

我们带来了 circom-batch-ECDSA，一个基于circom-ECDSA（由0xPARC 社区中其他人之前完成的工作）之上的概念验证实现，其灵感来自halo2-batch-ECDSA，它允许在单个 SNARK 中显著更快地验证一批 ECDSA 签名。

零知识证明 zkSNARK ECDSA

XPTY
发布于 2022-09-14
阅读 ( 3468 )

什么是多方计算（MPC）钱包？

本文介绍了多方计算（MPC）钱包的概念、原理、优势与不足。MPC 是一种加密技术，允许多方在不泄露各自输入的情况下联合计算函数。MPC钱包通过多方计算技术，为个人、公司、金融机构和政府提供强大的数字资产管理安全保障，着重对比了 MPC 钱包与多重签名钱包的区别，并分析了 Zengo、Coinbase、Fireblocks 等使用 MPC 技术的 Web3 钱包。

多方计算 MPC MPC 钱包多重签名钱包密码学数字资产

Alchemy
发布于 2022-09-03
阅读 ( 324 )

关于Groth16延展攻击

Geometry是Kobi Gurkan 等人所在的一个新成立不久的研究组织，Kobi本人曾给ZK HACK 出过9道puzzles，这次又合作给出了这个关于Groth16延展攻击的新puzzle：ZK Hack x Geometry Puzzle I

Groth16 零知识证明

XPTY
发布于 2022-08-17
阅读 ( 2986 )

零知识证明 - 从Puzzle理解线性相关

zkHack发布了新的Puzzle。虽然Puzzle用的比较老的Groth16算法，Puzzle的内容非常有趣，对理解零知识证明，多项式，线性相关等等知识非常有帮助。

零知识证明 Groth16 circom

Star Li
发布于 2022-08-16
阅读 ( 3198 )

代币经济学：决定加密货币成功的 4 个因素

本文探讨了加密货币领域中代币经济学的重要性，并分析了影响项目代币未来成功的四个关键因素：实用性、供应与价格稳定性机制、分配方式和治理模式。文章强调，良好的代币经济学设计对于项目的长期发展和投资者的回报至关重要。

代币经济学实用性代币供应价格稳定机制代币分配治理

ishanshahzad
发布于 2022-08-15
阅读 ( 61 )

测量SNARK性能：前端与后端

SNARKs（Succinct Non-interactive Arguments of Knowledge）是一种重要的密码学原语，主要用于区块链的可扩展性和隐私保护。文章详细介绍了SNARK的原理、实现过程和项目成本估算。同时，探讨了SNARK在各种应用场景下的费用问题，并分析了前端和后端的瓶颈及其对SNARK性能的影响。这篇文章为继续优化SNARK提供了有效的见解。

SNARK 区块链可扩展性密码学原语成本估算前端后端瓶颈