#AihuaRead

摘录自《计算机程序的构造和解释》：

——

在数学里，人们通常关心的是说明性的描述（是什么），而在计算机科学里，人们则通常关心行动性的描述（怎么做）。

说明性描述和行动性描述有着内在的联系，就像数学和计算机科学有着内在联系一样。举个例子，说一个程序产生的结果“正确”，就是给出了一个有关该程序性质的说明性请句，存在着大量的研究工作其目标就是创建起一些技术，设法证明一个程序是正确的，在这一领域中有许多技术性因难，究其根源，都出自需要和行动性语句（程序是由它们构造起来的）和说明性语句（它们可以用于推导出某些结果）之间转来转去。在与此相关的研究分支里，有一个当前在程序设计语言设计领域中很重要的问题，那就是所谓的甚高级语言，在这种语言里编程就是写说明性的语句。这里的想法是将解释器做得足够复杂，程序员描述了需要“做什么”的知识之后，这种解释器就能自动产生出“怎样做”的知识。一般而言这是不可能做到的，但在这一领域已经取得了巨大进步。第4章我们将再来考虑这一想法。

——

如何通俗理解呢？

有一个我很不喜欢的说法，叫“你行你上”，一般用来驳斥说某个产品不好的评价，而反驳它的论述也很经典：“我评论个冰箱还得会制冷吗？”

这里的本质矛盾就是说明性的描述（用户：这个冰箱能耗应该更小一些）和行动性描述（厂商：我们已经找不到途径让这个冰箱能耗更小了，不行你自己上吧）的矛盾。

但“你行你上”并不总是错误的，因为你至少要给出一个正确的说明性语言。也就是先不论动力学（路径）上能否达到，起码不能违背热力学（终态）的定律，比如违背了热力学第二定律——这冰箱只是把热量从里面搬了出来，能不能能耗为0啊？

如果套用到nostr如何发展的争辩上… 先不套用了，大家自行发挥吧😉

要民主不要主席集权，要言论自由不要封锁和审查，很明白的要什么，说出来很难吗？在封锁的环境里看不到有人说也就习惯了好像没必要说，最后就以为是没人要了。

你说的有道理，但我觉得做为一个保险机制，本身就是对最坏可能的一种处理预案，有总比没有好。就好像vitalik面对以太坊转pos后可能出现的攻击，他的解决方案也是通过社区协调这种人治的方法，我们也不能说以太坊就中心化了吧，这只是一种战时状态。而且一个储存公链，我也不指望它有比特币级别的去中心化程度。

昨天在公屏里面看到一个英文note

大意思是说，

无政府主义者说我们不要政府。

我们选一帮人出来吧，

带着我们反抗这个政府。

有人问：然后呢？

答：再选帮人带领我们反抗前面那帮人。上一次反抗完了之后，他们就成了新的政府了。

我了解了一下具体的调节方式，用自己的话说一下。（不保证对，我了解的也有限）

首先我们看下面一个公式：

我们把代币价格，也就是AR币的市场价格设为X

储存价格也就是每G储存需要花费的AR设为Y

矿工收入设为Z。

则：XY=Z

其中X是由市场决定的，为了稳定矿工收入，Y就需要和X成反比波动。

但自动调节机制，无法直接获取X。这里就需要引入一个假设，X上涨，会减少储存需求，X下跌，会提高储存需求。

当X上涨时，需求减少，Y则下降

当X下降时，需求增加，Y则上升

XY不断进行反比波动，保证Z始终保持一个相对恒定的值。

但还有一个问题，如果我们上面说的假设不成立了，怎么办？

如果AR价格上涨，需求却同步增长，则矿工收益最大化，不需要担心。

如果AR价格下跌，需求却同步下跌，则矿工收入最小化。为了防止矿工因收入降低，关机跑路，因此设置了捐赠池。随着这是一种相对中心化的方式，但也等于上了一个保险。而且矿工不止有手续费收入，还有出块奖励，再出块奖励衰减为零之前，不需要担心这点。

我党在裁撤城管和辅警？

这段我其实是照搬的ChatGPT，因为他这个机制，我还没彻底搞明白。我又用你的话回了GPT，它的回复是：Arweave 的自动调用动态存储价格调整模型并不是完全机械式的调节机制，它也需要考虑到市场中的其他因素。例如，它还会考虑到节点的投入成本、网络的安全性和可靠性等因素，并综合考虑这些因素来调整存储价格。此外，Arweave 还会通过社区的治理机制来协调节点和用户之间的利益关系，以确保存储价格的合理性和稳定性。

Arweave 的自动调用动态存储价格调整模型已经被应用于 Arweave 网络中，目前已经在网络中运行了一段时间，并且得到了一定程度的验证和应用。根据 Arweave 的官方网站上的介绍，该机制已经成功地调节了 Arweave 网络中的存储价格，并且对网络的稳定性和可靠性产生了积极的影响。

需要注意的是，Arweave 的自动调用动态存储价格调整模型是一个比较新的机制，它也还在不断地完善和优化中。虽然这种机制可能存在一些限制和不足，但它是为了更好地适应 Arweave 网络的特殊需求和资源分配机制而设计的。

随着时间的推移和实践的积累，这个机制可能会进一步得到验证和应用，并且可能会被其他类似的区块链项目所采用和借鉴。

里面的sats给你，地址可以给我不😂

他好像用我的一段名言注册的，我能抢回来吗😅

Arweave 的自动调用动态存储价格调整模型是一种机制，用于帮助平衡网络上的存储需求和存储资源供应，并确保 Arweave 的存储价格保持在合理的水平。该机制基于供需平衡的原则，通过动态调整存储价格来应对网络上存储需求和供应的变化。

具体来说，Arweave 的自动调用动态存储价格调整模型使用一种基于市场供需的动态定价算法，根据当前的存储需求和供应情况，自动调整存储价格。当存储供应过剩时，存储价格会下降以吸引更多的存储需求；而当存储需求过高时，存储价格会上升以鼓励更多的存储资源供应。通过这种机制，Arweave 可以更好地适应不同的存储需求和资源供应状况，从而实现存储价格的稳定和合理。

果然有一套自己的经济理论，至于有没有漏洞… 我回头再研究研究🤔

目前看来最可疑的还是存储摩尔定律，或许长期看来是有效的，但是一旦某几年发展进入瓶颈，那就很麻烦了，虽然有容错机制，但能容多少也是值得怀疑的，如果这个东西发展得非常快，存储了哪怕互联网1%的数据，那么它现在的那些冗余完全可以忽略不计了。

而且存储价格真的越来越低了吗🥲怎么我感觉这几年买移动硬盘没便宜多少啊。

储存成本是空间✖️时间没错，但你忽略了存储成本主要受数据密度和数据可靠性驱动。与摩尔定律为 CPU 减速不同，目前硬件数据存储的最大密度远远低于理论计算值。

过去 50 年中，数据存储成本每年平均下降30.5%，而Arweave 的计算假设更保守，以市场硬盘存储 1GB/小时价格为起始价，将存储价格下降趋势的假设为每年 0.5%。因此，arweave永久存储的前提建立在互联网网络日益降低的存储成本趋势上。

需要注意的是，用户支付的存储费用也被设为矿工永久存储的成本，Arweave 目前的收费足以覆盖存储数据 200年的成本。

此外，网络手续费收入的约 86%将进入捐赠池，当矿工成本无法覆盖时，捐赠池中的资金将作为补贴发放给矿工。

随着时间的推移，Arweave 的存储成本逐年降低，区块奖励也逐年减少；但Arweave 网络存储量与捐赠池资金高度正相关。随着网络储存量的增加，捐赠池中 AR 的积累将足以对矿工进行成本补贴、确保收益。这也是 Arweave 确保数据存储至少 200 年的经济支撑。

要是用户意外放弃赎回，服务商质押的比特币就永远拿不回去了。

我们觉得pos生息，仅靠质押就能获取更多代币是一种愚蠢的中心化的设计，确实如此，但是质押也代表了一种负责的状态。

我们自然不允许仅靠质押就能生息，但是可以设计出必须质押比特币才能入场提供服务的“生利”行为，质押本身也是一种服务的担保。

那什么时候服务商才能取回自己的质押呢？需要用户放弃自己的数据才行，当然在此之前，用户可以下载回自己的数据。

如何计算需要质押多少比特币？需要为用户的数据定价。

如何定价？看服务商打算收多高的服务费，服务费和质押应该互相制衡才对。

#[0]

去中心化的储存过去靠印刷术，现在靠nostr，反正不能靠区块链

我曾经把relay比喻成一个把“抓取、copy、印刷、发送、储存”一体化、自动化的超级印书机和图书馆complex

nostr可以实现的事情实际上非常多

服务商可动态调节其数据存储服务所需消耗闪电聪的成本。

以达到可持续盈利的目的。

而且一旦某一个服务商积累了大量用户，但因其经营不善，不得不宣布破产。

其跑路的收益为零（闪电网络实时结算掉它的即时服务），而不跑路卖掉自己数据存储业务的收益为正。

所以并不需要过于担心数据存储服务商的跑路而导致数据全部消失的风险。

闪电网络的实时结算功能可以降低服务商的道德风险。

将一笔巨大的服务费摊薄到每一天甚至每一分钟每一秒或某一具行动之中，是可免信任的。

倒也没必要达到比特币级别的安全性，啥数据呀这么重要😇

其实我觉得倒是没必要发个新币，用比特币做一个二层协议（是叫这个吧我没研究过），服务商或矿工质押比特币提供存储服务，定期按存储数据大小收闪电聪收取服务费… 总之达到一个二层协议✖️质押比特币价值的安全性就行了。

当然细节可以再讨论，感觉还有挺多问题需要解决。

最好的最安全的最可靠的数据去中心化的方式是把数据写入比特币区块链，超强的不可删除性，而且事实上没人可以阻止你这么干🤡

但比特币区块链的区块空间是稀缺资源，价格逐年上涨，你觉得一字节的储存费用越来越贵这合理吗？符合摩尔定律吗？

为啥不买去中心化分布式硬盘服务，为啥要用区块链？