ZeroSync负责人提出通过比特币支付激励的去中心化文件托管系统

金色财经报道，区块链开发商ZeroSync已成功在比特币网络上实施Starkware的零知识 (ZK) 证明。 该项目基于 Starkware 的 Cairo 编程语言构建，将使比特币用户能够验证网络状态，而无需下载区块链或信任利用 Starks（ StarkWare开发的一种 ZK 证明）的第三方。 ZK 证明是一种承诺增强隐私性和可扩展性的加密方法。ZeroSync 表示，通过使一方能够在不透露任何额外信息的情况下验证声明的真实性，ZK 证明可以基本上解决比特币在交易速度和网络拥塞方面的挑战。

3月28日消息，Robin Linus、Tino Steffens、Lukas George 等成立一个名为ZeroSync协会（ZeroSync Association）的瑞士非营利组织，将带头开发比特币证明系统，构建具有比特币隐私、互操作性和可扩展性的未来。ZeroSync基于STARK证明，为了实现比特币证明，使用由StarkWare创建的Cairo语言。 ZeroSync将分三个连续阶段推出，分别为标头链证明、假设有效链证明和全链证明，目前已经完成了前两个原型。ZeroSync Toolkit还将为比特币开发人员提供强大工具，以将零知识证明应用于他们自己的产品和服务。

3月27日消息，以太坊联合创始人 Vitalik Buterin 在 Warpcast 表示，同一集群中的验证者（例如同一交易平台、同一用户）是否比无关的验证者更有可能同时错过证明？如果是这样，我们是否可以调整奖励以支持去中心化的质押？可能是的。 此外，Vitalik 发帖《通过更多的反相关激励措施来支持去中心化的质押》表示，在协议中激励更好的去中心化的一种策略是惩罚相关性。也就是说，如果一个参与者出现了行为失误（包括意外情况），他们所受到的惩罚将随着与他们同时出现行为失误的其他参与者数量（以总 ETH 为度量）的增加而增加。这种技术已经在以太坊的惩罚机制中得到了应用。然而，在实践中也许从未出现过的高度特殊的攻击情况中出现的边缘案例激励也许不足以激励去中心化。这篇帖子提议将类似的反相关激励扩展到更多「普通」的失败情况，例如错过一次证明，几乎所有验证者都至少偶尔会出现这种情况。

金色财经报道，ZeroSync项目负责人Robin Linus在10月9日题为“BitVM：在比特币上计算任何东西”的白皮书中宣布，BitVM可以在不改变比特币共识规则的情况下实现图灵完备的比特币合约。使用BitVM，比特币合约的“逻辑”将在链外执行，但验证将在比特币上进行，类似于以太坊的optimistic rollup。BitVM 的架构基于欺诈证明和挑战响应模型，其中“证明者”可以提出主张，“验证者”可以执行欺诈证明，以在提出虚假主张时惩罚证明者。 Linus解释说，比特币目前的形式仅限于基本操作，例如签名、时间锁和哈希锁，但现在可以通过BitVM进行扩展，BitVM可以计算许多有趣的应用程序。

金色财经报道，PayPal正在鼓励采取措施减少运营对环境影响的比特币矿工。PayPal周一在博客中表示，PayPal区块链研究小组与非营利组织EnergyWeb合作开发了一个清洁能源验证平台，用于监控和奖励能源密集度较低的比特币挖矿业务。

金色财经报道，美参议员Ted Budd提出了一项新法案Keep Your Coins Act，以保护公民自我托管比特币和其他加密货币的权利。更大程度地推动美国公民的数字资产和金融自由。该法案希望保护个人在无需利用第三方中介机构的情况下使用加密货币资产进行交易的权利。此外，Ted Budd表示，该法案旨在防止 FTX 崩溃期间消费者面临的第三方风险。 巴德在一份声明中表示：“随着消费者面临与使用数字货币相关的新挑战和风险，我们应该赋予个人保持对自己数字资产的控制权。” “这种方法将促进财务自由和更加去中心化的加密货币生态系统。”