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

区块链中的数学 - 离散域模素数上的加法&椭圆曲线中离散对数问题

本节介绍如何让椭圆曲线点的坐标离散化。
区块链中的数学  椭圆曲线 

区块链中的数学-数论的一些知识和椭圆曲线上加法运算

本节主要说涉及到数论的一些知识和椭圆曲线上加法运算。
区块链中的数学 

区块链中的数学-椭圆曲线的背景及基本性质

本节主要说椭圆曲线的背景及基本性质。
区块链中的数学  椭圆曲线 

区块链中的数学-欧几里得算法

本节主要讲欧几里得算法及其扩展算法。
区块链中的数学  欧几里得算法 

密码学系列 - 概述

密码学很神秘？很高端？本文是密码学系列的第一篇：概述。带你一起来揭秘！ 根据密钥的类型一般可以分为对称加密和非对称加密
密码学 
  • bobgojoe
  • 发布于 2020-03-24
  • 阅读 ( 7299 )
  • ( 190 )

零知识证明 - 区块链应用中的风险

19年底360安全发布的一篇有关零知识证明安全的文章。这篇文章是Zhiniang Peng在PacSec2019大会发言的总结。文章框架性地介绍零知识证明zk-SNARK的知识，并给出了一些安全提示和思考。
应用开发 
  • Star Li
  • 发布于 2020-03-24
  • 阅读 ( 4199 )

快速的口令电路入门指南

这篇文章提供了关于加密电路的一份简明入门指南，讨论了两方计算中如何通过加密电路保护各自输入的隐私。文章详细介绍了加密电路的工作原理，包括电路的构建、输出的加密、1-of-2隐匿转移的实现方式，及其在多方计算中的应用。整体上，文章具有较好的结构、逻辑和技术深度，适合对加密技术感兴趣的读者。
加密电路  多方计算  隐私保护  1-of-2隐匿转移  加密算法  电路加密 

重大突破：路印协议将交易成本再降15倍！

本文详细说明了路印协议在zkSNARK证明生成上的一些优化措施，我们成功地将生成零知识证明的成本降低为每笔交易仅0.03分RMB（100万笔交易成本大约300RMB），与目前我们线上的版本相比，成本降低了15倍。再加上其他一些优化手段，最终路印协议每笔撮合交易总成本仅仅只需0.09分RMB（100万笔交易成本大约900RMB）。
路印  DEX  DeFi 

零知识证明 - 新手入门指南

不知不觉，写了不少零知识证明相关的文章，单独总结成列表。方便对零知识证明感兴趣的小伙伴，学习开发。零知识证明，乃至区块链技术，需要学习，深入研究的东西太多太多了。零知识证明学习入门...
零知识证明  入门  零知识证明入门 
  • Star Li
  • 发布于 2020-03-01
  • 阅读 ( 9761 )
  • ( 75 )

零知识证明 - 电路及证明示例（libsnark）

libsnark库代码层次非常清晰。libsnark也给出了SNARK相关算法的全貌，各种Relation，Language，Proof System。为了更好的生成R1CS电路，libsnark抽象出protoboard和gadget，方便开发者快速搭建...
libsnark  zkSNARK 
  • Star Li
  • 发布于 2020-03-01
  • 阅读 ( 6132 )
  • ( 9 )

零知识证明 - 基于多项式构造零知识证明

理解为什么以及如何基于多项式构造零知识证明，这篇文章讲的比较清楚。虽然文章只讲到了皮诺曹协议，但是足够理解基于多项式构造零知识证明的本质。想深入零知识证明的小伙伴都建议看看。 ht...
零知识证明 
  • Star Li
  • 发布于 2020-02-21
  • 阅读 ( 6876 )
  • ( 10 )

[译]几种通用的zk-SNARKs 实现的比较

几种通用的zk-SNARKs 实现的比较
zkSNARK 
  • 石头
  • 发布于 2020-02-20
  • 阅读 ( 7364 )
  • ( 73 )

零知识证明 - DIZK源代码导读

DIZK源代码导读
DIZK  零知识证明 
  • Star Li
  • 发布于 2020-02-14
  • 阅读 ( 4142 )
  • ( 10 )

零知识证明 - DIZK介绍

DIZK，Distributed Zero Knowledge，分布式的零知识证明系统。在分布式环境下，DIZK能支持超大规模电路（10亿门级别）的计算。
DIZK  零知识证明 
  • Star Li
  • 发布于 2020-02-13
  • 阅读 ( 4959 )
  • ( 6 )

从零开始学习zk-SNARK(五)—Pinocchio 协议

作为本系列的最后一篇文章，本文继续对 zk-SNARK 协议进行完善，最终形成一个完整的 zk-SNARK 协议
zkSNARK 

从零开始学习zk-SNARK(四)—多项式的约束

上一篇文章中我们学习了如何将程序转换为多项式进行证明。到这里似乎已经有点晕了，本文将对协议执行进一步的约束，并对协议展开优化。
zkSNARK 

从零开始学习zk-SNARK(三)—从程序到多项式的构造

前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式的算术性质，多项式插值等。
zkSNARK 

零知识证明 - 椭圆曲线基础

有限域上的椭圆曲线是零知识证明的基础。零知识的实现是基于离散对数问题。从计算的角度来看，F_p是个有限域，在之基础上建立的椭圆曲线点的运算都是在这个域范围内。有限域上的椭圆曲线上有很多循环子群F_r，具有加法同态的特性。离散对数问题指的是，在循环子群上已知两点，却很难知道两点的标量。
零知识证明  椭圆曲线  ECC  ECDSA 
  • Star Li
  • 发布于 2020-01-20
  • 阅读 ( 7665 )
  • ( 18 )

浅谈零知识证明之二：简短无交互证明（SNARK）

相信看完前一篇文章的朋友们会有一点很不解的地方：为什么我们可以如此简短的创建一个证明，并且证明很长的信息呢？在上课前我也有这同样的疑惑，甚至觉得这个是一个“黑科技”，不过相信大家看完这篇文章，就会知道如何去驾驭这个“黑科技”了。
零知识证明  zkSNARK 

探索零知识证明系列5-构建非交互式零知识证明

探索零知识证明系列（五）
零知识证明