形式化验证

CoinVoice最新获悉：Web3 创业加速器 DeFi Alliance 创建的去中心化自治组织 Alliance DAO 发推表示，「昨晚在伊利诺伊州，一项法案（数字资产监管法案 DARA）提出将未经许可的数字资产业务活动（即大多数区块链活动）定为重罪。如果众议院通过该法案，它可能会在几周内成为法律」。

Alliance DAO 表示该法案包括极为苛刻的合规要求，如有效禁止 DeFi 协议和核心基础设施（如区块验证）、涵盖整个行业（NFT、游戏、交易、挖矿、质押）、授予州广泛的调查和执法权力、申请人必须提供高管的指纹和所有附属公司 10 年的法律和财务历史等资料，且去中心化交易所（DEX）（可能涵盖交易所）需要进行广泛的尽职调查，提供利益冲突的书面披露，对所有代码或协议进行全面的风险评估等等。

相关项目

CoinVoice最新获悉：数字凭证和ID验证平台Dentity宣布完成种子轮融资，Blockchange Ventures和非营利性组织AARP领投。Dentity利用包括区块链等的Web3技术来确保消费者在验证和存储身份信息时的隐私。
Dentity网络应用为多个用例提供身份验证功能，包括银行级KYC、社交账户验证、金融账户验证和凭证验证。

原文链接

CoinVoice最新获悉：币安官方博客发布了 1 月 14 日 AMA 的内容总结，币安首席执行官赵长鹏透露币安的下一个大产品旨在解决信任和透明度问题，将围绕币安的储备证明和偿付能力证明发布多个产品，以提供更高的透明度和公开发布的路线图。在 DeFi 话题上，币安将继续投资，让 DeFi 更易于访问和使用。最后，产品团队的目标是通过进一步简化 KYC 流程来实现 10 亿经过验证的币安用户。

在回答币安如何确保其产品之间的可扩展性时，赵长鹏表示，他应对可扩展性技术挑战的解决方案是从最大的传统、互联网和金融应用程序中聘请最优秀的人才来应对这些挑战，到目前为止，这种方法运作良好。

CoinVoice最新获悉：碳中和区块链平台Open Forest Protocol（OFP）宣布完成410万美元Pre-Seed轮融资，Shima Capital、Übermorgen Ventures、Not Boring Capital、Mercy Corps Ventures、Byzantine Marine、Big Brain Holdings以及Valor Capital等参投。
据介绍，OFP成立于2021年，通过其基于区块链的测量、报告和验证（MRV）技术，已经与全球约40个造林/再造林项目合作。（PR Newswire）

原文链接

CoinVoice最新获悉：埃隆·马斯克（Elon Musk）在推特上发布他在 Twitter 公司的演讲 PPT，涉及 Twitter 2.0 规划内容，其中包括广告即服务、视频、加密私信、长推文、蓝标验证功能优化等，「支付」页面的详细内容为空白。

CoinVoice最新获悉：欧易OKX今日宣布正式上线储备金证明（POR），所有用户可以在官网页面主动查询，对比OKX的链上钱包地址资产和默克尔树（Merkle Tree）内的用户总资产，从而验证其资产储备情况。据OKX官网查询显示，其BTC、ETH、USDT等币种储备金率均超过100%。

原文链接

CoinVoice最新获悉：以太坊联合创始人 Vitalik Buterin 发推公布新版以太坊发展路线图，其中主要变化包括：

1、The Verge 不仅仅是关于“verkle trees”，也关于“验证”（verification），最终将是“完全 SNARK 的以太坊”；

2、新增“The Scourge”阶段，The Scourge 确保公正可信中立的交易，以解决 MEV 问题；

3、将单槽确定性定为二阶段 Merge 里程碑。（来源链接）

CoinVoice最新获悉：区块链开发平台Alchemy发布发布《2022年第三季度Web3开发者报告》，报告显示，尽管ETH年初至今下跌60%，但开发者活跃度反创新高，第三季度部署在以太坊上的智能合约数量增加了40%，创历史新高。
此外，36%已部署和验证的智能合约于2022年完成，在合并后的2周内智能合约部署增加了14%。

原文链接

CoinVoice最新获悉：10 月 1 日，加密支票账户提供商 Juno 宣布完成 1800 万美元 A 轮融资，本轮融资由 ParaFi Capital 领投，Hashed、Jump Crypto、Uncorrelated Fund、Greycroft、6th Man Ventures 等参投，本轮融资为股权融资。 此外，Juno 还推出 Token 化忠诚度计划，该计划将向经过验证的用户分发其原生 ERC20 Token JCOIN，但 Juno 表示不会向员工或投资者分发 JCOIN，也不会促进该 Token 的二级交易，仅作为用户兑换奖励的支付货币。

「原文链接」

CoinVoice最新获悉：Solana 网络再次出现中断情况并无法处理交易，开发者正在寻找问题。据 Solana 验证节点运营商 Laine 表示，网络中断可能是由于错误配置的节点导致网络出现了不可恢复的分叉。

来源链接

CoinVoice最新获悉：总部位于韩国的LG电子正准备在2022年第三季度发布其首个名为“Wallypto”的加密钱包应用程序。自8月以来，LG电子一直在与开发人员对该应用程序进行Beta测试，目前正处于最终验证阶段。
据悉，“Wallypto”建立在Hedera Hashgraph区块链之上，目前支持Hedera的HTS代币，预计在正式发布后将扩大支持网络和代币列表。（Forkast）

原文链接

CoinVoice最新获悉：8 月 17 日，以太坊官方 ethereum.org 发布一系列关于以太坊 Pos 合并可能导致潜在误解的说明。对于合并，正确理解的内容包括： 1、网络上的大多数节点不需要提供任何经济资源，不需要 ETH 就可以自由同步以太坊自我验证副本，即并不存在需要质押 32 枚 ETH 才能运营一个节点的限制； 2、合并是共识机制的改变，而非网络容量的扩大，也不会降低 gas 费用； 3、Layer1 的速度将基本保持不变； 4、合并后不会启用 Staking 提款，Shanghai 升级将启用质押提款； 5、费用奖励/MEV 将记入验证者控制的主网账户，立即可用； 6、启用提款后，出于安全原因，质押验证者的退出速率将受到限制； 7、据最新的估测显示，合并后的 Staking APR 增长接近 50%，而不是 200%； 8、Merge 升级旨在以零停机时间过渡到 PoS 等。

「原文链接」

CoinVoice最新获悉：8 月 16 日，V 神在社交平台参与讨论「若监管通过某些协议（如 Lido、Coinbase 等）的验证者节点对以太坊进行协议级别的审查，以太坊社区将如何反应」这一话题时表示，会将这种审查视为对以太坊的攻击，并选择通过更广泛共识（social consensus）将这些节点销毁。

「原文链接」

CoinVoice最新获悉：financefeeds 报道，网络安全协议 Naoris Protocol 宣布完成 1150 万美元融资，知名风险投资家 Tim Draper、Holt Xchange、Holdun Opportunity Fund、Holdun Family Office、Expert Dojo、Level One Robotics 等参投。Naoris Protocol 依靠区块链及其分布式安全共识证明将每个设备转换为受信验证节点，这些节点将负责验证网络中的每个其他节点，这意味着网络发展得越大，验证者就越多，安全性就越高。

CoinVoice最新获悉：以太坊协议支持团队昨日发布 Goerli/Prater 合并公告称，在最后一次测试网 PoS 转换中，Goerli 将与 Prater 合并，合并后的网络将保留 Goerli 的名称。此外，合并后 Goerli 的验证节点网络将保持开放，供各个权益者运行测试网验证节点。

据悉，合并过程分为两个步骤，首先从共识层上的网络升级 Bellatrix 开始，预计于 UTC 时间 2022 年 8 月 4 日 12:24（北京时间 8 月 4 日 20:24）开始，随后是执行层的 Paris 升级，预计将在 UTC 时间 2022 年 8 月 6 日至 12 日之间进行（总难度 10790000）。（来源链接）

CoinVoice最新获悉：7 月 27 日，据 financefeeds 报道，网络安全协议 Naoris Protocol 宣布完成 1150 万美元融资，知名风险投资家 Tim Draper、Holt Xchange、Holdun Opportunity Fund、Holdun Family Office、Expert Dojo、Level One Robotics 等参投。Naoris Protocol 依靠区块链及其分布式安全共识证明将每个设备转换为受信验证节点，这些节点将负责验证网络中的每个其他节点，这意味着网络发展得越大，验证者就越多，安全性就越高。

[原文链接]

CoinVoice最新获悉：7 月 20 日，Web3 社交平台 CyberConnect 宣布推出其首个产品 Link3，Link3 配置文件聚合链上和链下数据，通过可验证的联系实现用户和组织之间的可信网络。Link3 目前处于 Alpha 1.0 阶段，只有列入白名单的地址或具有邀请码的地址才能开始构建其经过验证的个人资料。 此前报道，5 月 17 日，CyberConnect 宣布完成 1500 万美元 A 轮融资，本轮融资由 Animoca Brands 和 Sky9 Capital 领投。[原文链接]

CoinVoice最新获悉：7 月 20 日，质押服务商 Figment 宣布，将在以太坊坊完全作为权益证明网络运行时支持 MEV。MEV 即「最大可提取价值」，是指创建新 ETH 的个人可以通过网络控制优先考虑某些用户的交易来进一步获利的过程。Figment 提供了一种质押服务，可以汇集用户的 ETH 并通过验证获得收益，然后再将新获得的 ETH 返还给用户。Figment 协议负责人 Clayton Menzel 称，Figment 计划利用以太坊网络新的 MEV 机制让更多 ETH 验证者参与 MEV，预计用户奖励会增加 50%。[原文链接]

CoinVoice最新获悉：7 月 14 日，Web3 存储方案 Bundlr Network 在社交媒体发文宣布正式启动测试网，本次测试网旨在完善未来的主网，测试节点交互情况和智能合约。用户参与测试网须拥有 Twitter 帐户，验证 Twitter 帐户后将收到参与测试网所需的测试 Token。Bundlr Network 将通过水龙头为每个帐户分配 2,500 个测试 Token。总共将有 10 亿个测试 Token，允许 400,000 个独立帐户加入测试网。 此前报道，Bundlr Network 于今年 5 月宣布完成 520 万美元种子轮融资，该轮融资由 Framework Ventures、Hypersphere Ventures、Arweave Team 和 Permanent Ventures 共同领投，OpenSea 和 Race Capital 等参投。[原文链接]

CoinVoice最新获悉：7 月 11 日，美国商标局商标注册律师 Mike Kondoudis 在社交媒体上发文表示，现代汽车公司已向美国专利商标局 (USPTO) 提交 NFT 相关商标申请，涵盖范围包括：NFT 及 NFT 支持的媒体、发行、交易及验证 NFT、虚拟服装、头像和汽车图片等。[原文链接]

CoinVoice最新获悉：7 月 7 日，据 EU-Startups 报道，区块链清洁技术初创公司 FlexiDAO 宣布完成 610 万欧元融资，SET Ventures 领投，谷歌和微软气候创新基金和 EIT InnoEnergy 参投。 FlexiDAO 总部位于巴塞罗那，该软件平台使用区块链技术来验证和追踪从生产到消费的电力，可根据每小时、每天维度对碳足迹进行可信和可验证声明，客户也能了解整个运营过程中消耗的能源来源和碳足迹，并及时采取行动采购更清洁的电力以实现 24/7 无碳能源使用。[原文链接]

CoinVoice最新获悉：7 月 7 日，Arweave 生态 Web3 存储解决方案 Bundlr Network 在其社交网站宣布将于一周内启动测试网。测试网将允许用户运行验证节点。开发人员将通过此次测试发现潜在问题，后续将推出更新版测试网。 此前报道，5 月 4 日，Bundlr Network 宣布完成 520 万美元种子轮融资，本轮融资由 Framework Ventures、Hypersphere Ventures、Arweave Team 和 Permanent Ventures 共同领投，OpenSea 和 Race Capital 等参投。[原文链接]

CoinVoice最新获悉：7 月 5 日，据 cointelegraph 报道，由兰博基尼支持的 GT 赛车队 Vincenzo Sospiri Racing (VSR) 宣布与 NFT 平台 Go2NFT 建立合作伙伴关系，双方将共同启动一项认证赛车零件的计划，旨在监控并确保汽车零件的质量。除了汽车零部件，VSR 未来还希望将 NFT 认证计划扩展到官方商品和其他产品。[原文链接]

CoinVoice最新获悉：7 月 5 日，开放跨链协议 Ren Protocol 现已集成 Optimism，用户现在可以通过 RenBridge 更直观地桥接 BTC、ETH 和 USDC 等 Ren 所支持的资产往返于 Ren 和 Optimism 之间。同时也可以使用 RenJS SDK 在 Optimism 上构建跨链 dApp。 此前报道，Ren 已上线 RenBridge 3.0 版本，支持将 Stablecoin 和通用 Token 封装到其他链，并支持将已存在的封装资产（renASSETS）从一条链桥接到另一条链，而无需再将资产销毁回到其原始链。此功能计划逐步推出，以便为测试和验证安全性提供时间，经过足够的主网测试后，将启用 renBCH、renDGB、renDOGE、renFIL、renZEC，最后添加 renBTC。[原文链接]

CoinVoice最新获悉：7 月 1 日，据 CoinDesk 报道，加密储蓄应用 Finblox 将其每日提款上限提高至 3000 美元，并计划在下周为经过验证的用户再提高至 5 万美元。Finblox 质押平台还恢复了推荐计划的奖励、支出和收益等相关活动。此外，Finblox 还在寻求向三箭资本追回资金的法律途径。 此前报道，6 月 16 日，Finblox 发布公告表示，受三箭资本影响，决定暂停 Finblox 平台上所有用户的奖励分发并更改各级用户的提款限额。[原文链接]