根据3月6日Cointelegraph发布的一则消息称：Ethereum基金会向哥伦比亚大学和耶鲁大学的研究人员提供了一笔赠款，用于在Ethereum虚拟机(EVM)中编写一种新的智能契约编程语言。
以太坊基金会公布入选ERC-4337账户抽象资助轮的18个项目:9月7日消息，以太坊基金会 ERC-4337 账户抽象资助轮已成功结束，将支持 18 个团队围绕 ERC-4337 构建多样化项目，包括：
1. ZeroDev Kernel：从零开始设计的智能合约账号，用于账户抽象钱包，高效且模块化；
2. Etherspot's Skandha Bundler：P2P 接口的账户抽象 Bundler 实现，由 Etherspot 团队开发；
3. MynaWallet：与日本政府发行的身份卡集成的合约账户，使用户能够进行代币支付、转账或接收 NFT，以及执行其账户支持的任何交易；
4. Blocto：在 web3.js 中支持账户抽象的 RPC 方法；
5. Silius：模块化高效的 Rust 账户抽象 Bundler 实现；
6. QR-Seal：完全兼容 ERC-4337 的 Schnorr 多签名钱包；
7. Ambire：使用电子邮件 / 密码认证的自托管钱包；
8. IoTeX：基于零知识证明的账户抽象钱包；
9. SixdegreeLab：账户抽象的数据分析看板；
10. Jam：Picnic 开发的 DeFi 交易批处理器；
11. TokenSight：使用 WebAuthn 的账户抽象多重身份认证；
12. ZK-Team：允许组织在管理团队成员的同时维护他们的个人隐私；
13. Rhinestone：模块化账户抽象；
14. AAA：提升账户抽象认知的社区活动；
15. Unpacking 4337：一系列账户抽象技术文章；
16. Hexlink：利用 EIP-4972 将 ENS 与 ERC-4337 账户链接，为所有 ENS 用户提供即时可用的账户抽象兼容智能账户；
17. UniPass：结合 ERC-4337，通过 OpenID Connect 协议为新用户提供一键式 OAuth 登录和账户创建；
18. Clave：提升 secp256r1 曲线对账户抽象的支持。[2023/9/7 13:24:06]
这笔资金的受益者是一个名为Deepsea的智能合同研发项目，由哥伦比亚大学计算机科学助理教授Ronghui与耶鲁大学的研究员合作。Ronghui也是区块链安全公司CertiK的联合创始人，CertiK也是该项目的参与者之一，该项目去年10月在由Binance实验室牵头的融资中筹集了几百万。
过去24小时以太坊网络燃烧近1.12万枚ETH:金色财经报道，根据ultrasound数据显示，在过去24小时内以太坊网络总共燃烧了11,233.57ETH，平均每分钟燃烧6.99ETH。[2022/1/26 9:13:10]
这笔投资是Ethereum基金会赠款计划第五波融资的一部分，将致力于支持Ethereum2.0和第2层的扩展工作。
数据：以太坊桥TVL达到225亿美元:金色财经报道，DuneAnalytics数据显示，以太坊桥当前TVL达到225亿美元。其中锁仓量最高的5个桥分别是Polygon Bridges（61.67亿美元）、Avalanche Bridge（54.59亿美元）、Ronin Bridge（49.24亿美元）\\Arbitrum Bridges（28.44亿美元）、Fantom Anyswap Bridge（15.53亿美元）。[2022/1/9 8:35:36]
Deepsea是以一种新的智能合同编程语言命名的，这种语言最初是由耶鲁大学计算机科学系系主任、CertiK的联合创始人Ronghui发明的。
该语言最初是为了系统软件的实现而设计的，因为智能合同是可以自我执行的，而且是永久性的，所以这些合同只能按照它们的意图来执行。但新闻稿指出，围绕智能合同漏洞的风险很高，为扩展Deepsea的保护特性提供了新的动力。该言将允许程序员使用正式验证来添加安全措施，以确保代码完全符合规范。
正式验证指的是“利用数学证明来验证代码实现正确性的过程”，据报道最初是在NASA火星探测器和其他硬件系统中实现的。
据报道，该过程现在被扩展用于软件系统，如CertiK对智能合同和区块链协议的审计，并且可以用来防止在编写Deepsea时可能引入的bug。
据去年12月的报道，开源的区块链项目Qtum曾向Ronghui教授的实验室拨款40万美元，用于资助Deepsea的开发。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。