全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

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

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

软件开发者如何创建属于你自己的简易RSA算法

本文介绍了公钥密码学中的RSA算法，包括其基本原理、密钥生成、加密解密过程以及安全性问题。文章还提供了一些用Rust语言实现RSA关键功能的代码示例，如模块化指数运算、最大公约数计算、模逆运算和素性检验。最后，强调了正确实现RSA的重要性，并提到了一些安全性注意事项。
RSA  公钥密码学  加密  解密  Rust语言  模运算 

开发者的数学生存工具包

本文介绍了密码学中常用的一些数学基础概念，包括自然数、整数、群、环、域、素数、最大公约数、同余、费马小定理、Euler定理、子群、拉格朗日定理以及离散对数问题。文章通过详细的定义、性质和示例，为读者理解密码学算法背后的数学原理打下基础，也提到了 RSA 加密算法的原理。
群  环  域  同余  费马小定理  欧拉定理 

盲化的两方 ECDSA 签名

本文档介绍了 Mercury statechain 使用的盲化两方 ECDSA 签名技术。该技术允许两个互不信任的参与者安全地生成共享的公私钥对，并在不暴露各自私钥信息的情况下，对双方认可的消息进行签名。其中一方（P1）可以完全盲化地参与签名生成，既不知道被签名的消息内容，也不知道最终的签名是什么样。
ECDSA  盲签名  两方签名  Paillier加密  同态加密  Statechain 

关于Groth16延展攻击

Geometry是Kobi Gurkan 等人所在的一个新成立不久的研究组织，Kobi本人曾给ZK HACK 出过9道puzzles，这次又合作给出了这个关于Groth16延展攻击的新puzzle：ZK Hack x Geometry Puzzle I
Groth16  零知识证明 
  • XPTY
  • 发布于 2022-08-17
  • 阅读 ( 3777 )

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

zkHack发布了新的Puzzle。虽然Puzzle用的比较老的Groth16算法，Puzzle的内容非常有趣，对理解零知识证明，多项式，线性相关等等知识非常有帮助。
零知识证明  Groth16  circom 
  • Star Li
  • 发布于 2022-08-16
  • 阅读 ( 4061 )

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

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

速度需求：椭圆曲线章节

本文介绍了椭圆曲线密码学（ECC）及其在密码学中的应用，包括密钥交换、数字签名和零知识证明。为了提高计算效率，文章讨论了将椭圆曲线从二维空间转换到三维射影空间，以及使用蒙哥马利曲线和扭曲爱德华兹曲线等特殊形式的曲线来避免在每一步计算中求逆，从而优化椭圆曲线上的运算。
椭圆曲线  密码学  密钥交换  数字签名  射影坐标  蒙哥马利曲线  扭曲爱德华兹曲线 

测量SNARK性能：前端与后端

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

赔付曲线序列化

本文档详细介绍了在离散日志合约（DLC）中，针对数值结果的赔付曲线序列化方法。主要包括通用赔付曲线（由分段多项式或双曲线组成）以及双曲线赔付曲线的具体序列化和反序列化（评估）过程。通过这些方法，可以更有效地表示和处理各种复杂的赔付曲线，尤其是在合约差价（CFD）等场景下，可以简明扼要地表示赔付规则。
离散日志合约  DLC  赔付曲线  序列化  多项式插值  双曲线  合约差价 

零知识证明 - PLONK算法零知识性问题

PLONK的原始论文存在一个零知识性的问题。商t多项式没有添加随机性，导致simulator不能模拟出证明。
零知识证明  PLONK 
  • Star Li
  • 发布于 2022-07-29
  • 阅读 ( 4324 )

多方计算 (MPC) 101

本文介绍了多方计算 (MPC) 技术，它允许多方在不泄露各自私有输入的情况下进行计算。MPC 在密钥管理方面具有重要意义，它可以将私钥分成多个部分存储在不同的地方，从而提高安全性。文章还比较了 MPC 与多重签名 (Multi-sig) 方案，并介绍了 Fireblocks、ZenGo 和 Coinbase 等公司在 MPC 方面的应用。
多方计算  MPC  密钥管理  多重签名  TSS  门限签名 
  • juliawu
  • 发布于 2022-07-25
  • 阅读 ( 915 )

zkMove 第一次公开亮相

前段时间应 Move 核心开发者 zrt 之邀，在 Move 社区的周会上做了一个分享，介绍了 zkMove 的整体架构并演示了其命令行工具的使用，这应该算是 zkMove 第一次公开亮相。我整理了一下相关内容，欢迎感兴趣的朋友一起探讨。
Layer2  Move  虚拟机 

零知识证明 - 深入理解Zinc

Zinc语言是一种智能合约语言，能方便的构建其对应的电路。Zinc开发的程序，编译成ZincVM指令，并在ZincVM执行并构建电路。构建电路的过程是将指令顺序执行，跟踪以及统一数据流。因为ZincVM构建电路需要将代码“静态”展开，所以Zinc不支持图灵完备。
零知识证明  zkVM  Zinc 
  • Star Li
  • 发布于 2022-07-08
  • 阅读 ( 4040 )

探索椭圆曲线配对

本文详细介绍了椭圆曲线配对（Elliptic Curve Pairings）的基本概念、数学原理及其在密码学中的应用，包括确定性阈值签名、zk-SNARKs等。文章涵盖了椭圆曲线的数学背景、配对的双线性性质及其实现细节，适合对密码学有深入了解的读者。
椭圆曲线配对  双线性映射  zk-SNARKs  阈值签名  密码学  素数域 

[零知识证明]基于bls12-381生成秘密随机点

一个多方协同计算生成椭圆曲线上的秘密点的思路与实现，可以应用于随机数，身份验证等等
bls12-381  MPC  零知识证明 
  • Alvan
  • 发布于 2022-07-05
  • 阅读 ( 4833 )
  • ( 7 )

零知识证明 - Halo2开发常见错误(Custom Gate)

使用Halo2开发电路，不可避免会设计custom gate。在实际开发custom gate的过程中，经常会碰到一些错误。该篇文章总结并分析了在Halo2库基础上开发custom gate的一些错误和原理。
零知识证明  Halo2 
  • Star Li
  • 发布于 2022-06-24
  • 阅读 ( 4387 )

zkREPL：一个zkSNARKs 在线开发环境

在计算的旧石器时代，计算机曾是机电的巨兽，每秒只可以执行几十次操作，但每年的成本却高达数百万美元。程序是通过细致的思考、在接线板中插入电线以及给卡片打孔来开发的。那个时候，bug就是是字面意义上的虫子，它们会啃咬电线，偶尔会导致短路，这可能会烧毁所有东西。
零知识证明  zkSNARK 
  • XPTY
  • 发布于 2022-06-23
  • 阅读 ( 5240 )

构建你的第一个零知识 snark 电路（Circom2）

参考 iden3 官方最新教程文档，用 circom2 和 snarkjs 库创建和执行你的第一个零知识证明。
零知识证明  zkSNARK 
  • weinsh
  • 发布于 2022-06-20
  • 阅读 ( 7154 )
  • ( 21 )

使用ZK-SNARKs保护隐私的几种方法

本文深入探讨了ZK-SNARKs在隐私保护方面的应用，具体描述了如何利用这一强大的密码工具实现个人隐私的保护，包括在区块链交易中的利用场景、证明成员资格的方法及面临的挑战，同时提供了增强交易效率和安全性的高级技术方案。文章还简要讨论了ZK-SNARKs和多方计算的结合应用，以及其局限性。总体来看，本文在理论和实际应用之间架起了桥梁，是对ZK-SNARKs技术非常有效的探讨。
zk-SNARKs  区块链  隐私保护  证明成员资格  抗拒绝服务  声誉系统