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

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

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

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  长程攻击  最终性共识  区块链 

Casper 历史 —— 第4章

本章描述了以太坊研究团队在经济模型假设上的根本变化，特别是从竞争性经济模型转向寡头垄断模型的过程。文章讨论了如何在公有区块链中应用合作博弈理论来分析和设计共识协议，强调了权力集中和卡特尔形成对区块链安全性的影响。
经济建模  casper  寡头垄断  合作博弈理论  区块链安全  共识协议 

[镜像] 二次算术程序：从零到英雄

本文深入探讨了零知识证明（zk-SNARKs）技术背后的数学原理，特别是将计算问题转换为二次算术程序（QAP）的过程。文章通过一个简单的例子详细解释了如何将代码扁平化、转换为R1CS系统，并最终通过拉格朗日插值法生成QAP多项式。
zk-SNARKs  QAP  R1CS  拉格朗日插值  零知识证明 

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

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

人类并非创造力的独占者

本文探讨了创造力并非人类独有的观点,通过遗传编程和深度学习等AI技术的实例,反驳了AI无法拥有创造力的观点。文章认为,生物至上主义阻碍了人们对机器创造力的认知,而事实上AI已经在多个领域展现了创造性。
创造力  AI  遗传编程  深度学习  生物至上主义 

一个不受人类控制、自行生产、拥有并出售其自身艺术品的软件代理 | 作者：Simon de la Rouviere | Medium

文章介绍了一个名为Meme Markets的概念，它允许通过去中心化的方式投资和协调共同目标。结合ArtDAOs的想法，可以创建一个无需人为控制的去中心化经济代理，该代理能自动创作、拥有并尝试销售艺术品。
Meme Markets  ArtDAOs  去中心化  智能合约  以太坊 

为什么“我们的大脑是独一无二的”错了

文章从动力系统的角度分析了人类大脑和神经系统的局限性，指出它们只是动力系统的一种实现方式，并非最优的基板。文章还简要介绍了动力系统的基本概念及其在不同基板上的应用。
dynamical systems  brains  silicon  computational state machines  Moore’s Law  nonlinear dynamics 

人工智能觉醒近在咫尺

文章探讨了人工智能（AI）可能在未来实现人类级别智能的几种驱动因素，包括芯片技术进步、资金的直接投入、去中心化计算的成熟以及没有根本性障碍。文章还讨论了这些因素如何推动AI技术的快速发展。
AI  芯片  去中心化计算  深度学习  神经网络  ASIC 

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

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

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

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

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

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

TrueBit：一个用于验证和存储的解决方案… | 作者：Christian | Medium

TrueBit是一种解决区块链计算验证和存储问题的技术方案，通过设计一个验证游戏协议，使得计算密集型智能合约能够被正确执行，同时将主要计算负担转移到链外，减少区块链资源的浪费。
TrueBit  区块链  智能合约  验证游戏  计算密集型  以太坊 

计算机的未来会是什么？

这篇文章探讨了计算机行业中的金融周期和产品周期之间的重要关系。作者详细描述了过去十至十五年间计算技术的演变和不同计算平台的发展，阐述了硬件和软件领域的最新趋势，如人工智能和量子计算，并展望了未来的新计算时代。同时，文章提供了丰富的图表和实例，说明了技术进步如何推动行业发展。
计算周期  人工智能  量子计算  硬件进步  软件发展  未来趋势 

科普|Vitalik Buterin：以太坊是什么

简而言之，以太坊（Ethereum）是将比特币中的一些技术和概念运用于计算领域的一项创新。
以太坊  入门  区块链入门 
  • EthFans
  • 发布于 2016-03-11
  • 阅读 ( 3156 )

我赌5000美元比特币的首次硬分叉会顺利进行 | 作者：布赖恩·阿姆斯特朗 | Medium

文章讨论了比特币的硬分叉，作者认为比特币的首次硬分叉将是升级而非分裂，并愿意为此押注5000美元。作者还详细说明了获胜的条件，包括95%以上的算力和用户支持，以及比特币价格的上涨。
比特币  硬分叉  升级  算力  价格 

虚拟现实与区块链：迈向更富同理心的社会 | 作者：ConsenSys | Medium

文章探讨了虚拟现实（VR）与区块链技术的结合，如何通过去中心化的方式创建新的虚拟现实社区，并对其中的经济、法律和组织结构进行了分析。作者认为，这种结合有望对人类产生深远影响，推动现实社会的变革。
虚拟现实  区块链  去中心化  社区  经济