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

通过协调问题实现工程安全

文章探讨了比特币社区中Core和Unlimited派系之间的争议，讨论了挖矿算力在区块链治理中的作用，以及通过协调问题实现安全性的概念。文章还讨论了公链在处理现实世界资产中的应用，以及轻客户端技术在验证区块链数据中的重要性。
比特币  Core  Unlimited  挖矿算力  轻客户端  协调问题 

区块链技术在教育领域的应用

*系列第一篇文章主要是从商品流通的角度入手，通过分析消费者在目前供应链中遇到的问题，逐步引申出目前供应链中上下游整个体系中信息系统解决不了的问题，寻找痛点，再结合区块链技术特性来给...

区块链技术在商品溯源流通领域的应用

去年伊始，区块链的概念开始逐渐被世人所熟知。虽然其催化因素是多方面的，不论是越来越高的比特币价格，还是一些比较有代表性的联盟如R3的成立，这些都让原本驻足在比特币的视野逐步转向了区块...

回顾史上最大智能合约漏洞事件 — The DAO事件

in  区块链安全问题解析
在区块链技术领域，The DAO事件可以算是一个以太坊的丑闻，当然也直接导致了硬分叉。在现实面前，面对黑客当着面利用漏洞源源不断从1.5亿美金的以太币池中...
区块链安全 

应用案例之黄金资产证券化Digix白皮书和DGD解读

该文章主要是针对区块链应用中，黄金资产证券化，即 将难以流动的贵金属重资产转化为容易流动的证券资产，进而进行流通的一个案例。 ## 技术 从Digix整体来说，产品生命周期如下： ![这...

共识算法（POW,POS,DPOS,PBFT）介绍和心得

## POW：Proof of Work，工作证明。 比特币在Block的生成过程中使用了POW机制，一个符合要求的Block Hash由N个前导零构成，零的个数取决于网络的难度值。要得到合理的Block Hash需要经过大量...
共识 

分布式一致性之paxos算法个人见解

Paxos 算法解决的问题是一个分布式系统如何就某个值（决议）达成一致。一个典型的场景是，在一个分布式数据库系统中，如果各节点的初始状态一致，每个节点执行相同的操作序列，...
Paxos 

最小罚没条件

文章详细介绍了Casper共识算法中的最小惩戒条件，阐述了如何通过经济惩罚来实现拜占庭容错和异步安全，并解释了“经济最终性”的概念及其在权益证明研究中的重要性。
casper  经济最终性  拜占庭容错  权益证明  惩戒条件  共识算法 

摩尔定律已死，摩尔定律万岁

文章讨论了摩尔定律的现状和未来，指出虽然有人认为摩尔定律即将失效，但实际上是经济因素而非物理因素限制了其发展。半导体行业通过持续的创新和投资，使得摩尔定律继续推动技术进步，尤其是在虚拟现实、增强现实和物联网等领域。
摩尔定律  半导体  晶体管密度  虚拟现实  物联网  ITRS 

深入解析 Zk-SNARKs：第三部分

本文深入探讨了zk-SNARKs技术背后的Pinocchio协议，详细介绍了使用椭圆曲线配对和数学技巧来证明某个二次算术程序（QAP）的解，而不泄露解的其他信息。文章还涉及可信设置、多方计算等安全机制，并指出该领域的最新研究动态。
zk-SNARKs  Pinocchio协议  椭圆曲线配对  二次算术程序  可信设置  多方计算 

“去中心化”这个词的意义

文章详细讨论了区块链中的去中心化概念，将其分为三种类型：架构、政治和逻辑去中心化，并探讨了去中心化的三大理由：容错性、抗攻击性和防共谋性。作者还分析了现有区块链系统在去中心化方面的挑战和潜在解决方案。
去中心化  区块链  容错性  抗攻击性  防共谋性  架构去中心化 

[镜像] Zk-SNARKs：深入解析

本文详细介绍了Zk-SNARKs技术，特别是Pinocchio协议的实现原理。文章从椭圆曲线配对的数学基础出发，解释了如何在不泄露具体信息的情况下，证明某个二次算术程序（QAP）的解的正确性。文章还讨论了信任设置的重要性以及如何通过多参与方计算来增强安全性。
zk-SNARKs  Pinocchio协议  椭圆曲线配对  二次算术程序  信任设置 

参数化Casper：去中心化/最终确定时间/开销权衡

本文探讨了Casper协议中关于去中心化、最终确认时间和开销之间的权衡，介绍了经济最终确认性的定义，并通过数学模型分析了三者之间的关系。文章还提出了四种可能的解决方案，并讨论了验证者池与非确定性阈值签名的作用。
经济最终确认性  去中心化  最终确认时间  开销  验证者池  非确定性阈值签名 

[镜像] 探索椭圆曲线配对技术

本文详细探讨了椭圆曲线配对的原理和应用，包括其在零知识证明中的关键作用。文章介绍了椭圆曲线加密的基础知识，配对的数学性质，并通过具体的数学示例解释了配对如何支持复杂的加密操作。整体内容架构清晰，涵盖广泛，适合对密码学有深入了解的读者。
椭圆曲线  配对  零知识证明  加密算法  离散对数问题  模运算 

Casper 的历史 — 第2章 | 作者：Vlad Zamfir

本章节详细介绍了以太坊Casper协议的研究过程，特别是2014年秋季对博弈论和经济安全模型的研究。文章详细阐述了如何通过‘贿赂攻击模型’解决了长期攻击问题，并强调了激励机制设计的重要性。
casper  博弈论  经济安全  长期攻击  贿赂攻击模型  激励机制 

权益证明 (POS) 设计理念

本文深入探讨了权益证明（Proof of Stake, PoS）的设计哲学，比较了其与工作量证明（Proof of Work, PoW）的不同，强调了PoS通过经济惩罚而非能源消耗来确保网络安全的基本原则。
权益证明  工作量证明  加密经济学  casper  Delegated Proof of Stake  安全性 

Casper的历史——第五章

本文讲述了Casper协议的诞生，特别是如何将Aviv Zohar和Jonatan Sompolinsky的GHOST协议应用于权益证明（Proof-of-Stake）中，并解释了如何设计激励机制来防止验证者被审查。
casper  Ghost  权益证明  审查抵抗  拜占庭容错  去中心化 

[镜像] 一种权益证明设计理念

本文探讨了以太坊等加密网络的权益证明设计理念，强调了加密技术在现代的独特优势以及社会共识对区块链长期安全的重要性。文章分析了不同共识机制的哲学基础，提出了证明权利机制相较于工作量证明的优势，并阐明了经济一致性在保护系统正常运行中的重要角色。
区块链  权益证明  共识机制  加密技术  安全性  去中心化 

Vitalik二次算术程序：从零到英雄 - Vitalik

本文深入探讨了zk-SNARKs技术中的二次算术程序（QAP），详细解释了如何将代码转换为QAP并生成零知识证明。文章通过一个简单的三次方程示例，逐步展示了从代码扁平化到R1CS再到QAP的转换过程，并介绍了如何在多项式上进行约束检查。
zk-SNARKs  QAP  R1CS  零知识证明  多项式  Lagrange插值 

Casper的历史 — 第3章 | 作者：Vlad Zamfir | Medium

本章节详细描述了Casper在研究权益证明（Proof-of-Stake, PoS）共识机制的过程中，特别是在解决了长程攻击问题后，发现了传统共识研究的存在和相关性。文章探讨了PoS中的关键技术问题，如区块创建、激励机制、最终性共识等，并介绍了Tendermint协议的简单性和安全性。
权益证明  casper  Tendermint  长程攻击  最终性共识  区块链