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

以太坊设计原理

尽管以太坊的许多理念在早先的加密货币（如比特币）上已经运用并测试了5年之久，但从处理某些协议功能上来说，以太坊的处理方式与常见方式仍有许多不同。很多时候，以太坊会被用来建立全新的经济方法，因为它具有许多其他系统不具备的功能。本文会详细描述以太坊所有潜在的优点以及在构建以太坊协议过程中某些有争议的地。另外，也会指出我们的方案及替代方案潜在的风险。
以太坊 
  • EthFans
  • 发布于 2017-08-01
  • 阅读 ( 3949 )

区块链面临的主要威胁...

文章讨论了区块链面临的主要威胁，包括政府攻击和社区内部的反对者，并比较了PoW和PoS共识机制的安全性和效率。
区块链  PoS  PoW  安全  共识机制  攻击 

危害三角

本文详细探讨了Casper协议中的的概念，描述了在不同攻击场景下，攻击者与受害者之间的损失比例。文章分析了Casper如何通过惩罚两种攻击双方来减少攻击行为，并引入了协议效用函数的概念，旨在为协议的健康度提供量化评估。整体上，内容透彻，对Casper协议的激励机制进行了深入的探讨，适合对区块链技术有一定了解的读者。
casper  区块链  激励机制  攻击类型  协议效用函数  安全性 

动态验证者集合中的安全性

本文详细探讨了在动态验证者集下的安全性问题，特别是针对权益证明（PoS）协议中的链选择和最终性问题。文章分析了同步PoS和动态验证者集下的攻击模式，并提出了解决方案和优化策略。
权益证明  动态验证者集  同步PoS  最终性  链选择  安全性 

以太坊：签名与验证

本文详细介绍了以太坊中的签名机制，包括签名的原理、实现和应用。文章通过代码示例展示了如何在Solidity中验证签名，以及如何在客户端生成签名并调用验证函数。
签名  ecrecover  Solidity  公钥加密  椭圆曲线密码学  区块链 

最小罚没条件

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

参数化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  权益证明  审查抵抗  拜占庭容错  去中心化 

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

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

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

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

Casper 的历史 —— 第 1 部分转载自以太坊博客…… | Vlad Zamfir | Medium

文章详细介绍了Casper技术的历史和设计哲学，重点讲述了从简单的PoS到现代PoS的演变过程，特别是Slasher算法和安全存款的应用。
casper  PoS  Slasher  安全存款  以太坊 

“无需信任”是一个用词不当“无需信任”这个词被随意使用…… | 作者：Nick Tomaino | Medium

文章讨论了数字货币中的“无信任”概念，指出比特币和以太坊等平台实际上是分布式信任系统，而非真正的无信任系统。文章还以太坊的硬分叉为例，说明信任在数字货币社区中的重要性。
信任  比特币  以太坊  硬分叉  分布式信任 
  • ntmoney
  • 发布于 2016-07-23
  • 阅读 ( 207 )

为什么加密经济学和X风险研究人员应该更多地倾听彼此的声音

本文探讨了区块链与人工智能安全之间的联系，指出两者在如何调控复杂系统以应对不可预测结果方面存在相似性。作者分析了在DAO治理和加密经济学中面临的共同挑战，以及一些正在探索中的解决方案，例如延迟治理和形式化验证。同时，文章提出了未来DAO可能学习到的经验，强调去中心化的重要性。
DAO  加密经济学  人工智能安全  形式化验证  去中心化  治理算法 

TrueBit 介绍：一个可扩展的去中心化计算法庭 | 作者：Simon de la Rouviere | Medium

文章介绍了TrueBit，一种基于以太坊的扩展性去中心化计算模型。TrueBit通过构建计算市场，允许开发者在以太坊链外执行复杂计算，并在需要时通过验证脚本在链上验证结果的正确性，从而大幅提升以太坊的计算能力。
TrueBit  以太坊  计算市场  去中心化  验证脚本