概述
随着区块链的发展，智能合约的开发逐渐成为一片新的蓝海。与智能合约发展一同进步的其实还有一系列的智能合约开发工具和安全审计工具，但由于此方面很少有人介绍，导致大量新型工具并不为人所熟知。本文主要介绍智能合约开发和安全审计工具，以智能合约开发和测试为主线，依次介绍涉及以下方面的工具:

Learn more about EigenLayer, a decentralized Ethereum restaking protocol that allows users to restake their ETH and earn rewards from multiple protocols.

We’re happy to announce the release of SSX: Self-Sovereign Anything - the easiest way to get started with decentralized identity and install Sign-In with Ethereum

Uniswap 不仅改变了我的生活，而且今天也是它的生日。为了庆祝这一天，我想在 Uniswap 生日博客系列的 V0 中从头开始讲述它的故事。

本文由 Youbi Capital 的 Chen Li，Ivy Zeng 和 Ivo Entchev 共同撰写。 对于第一次接触 Web3 的 Web2 用户来说，初次上手的体验（客气地说）是不大愉悦的。传统的 EOA 钱包需要经过钱包生成，私钥管理，保存助记词等一系列复杂繁琐的流程。下一代无助记词钱包试图通过抽象私钥和助记词来解决这个摩擦点，只需点击几下就可以使用常用的 Web2 社交账号登录，实现一套更熟悉的登录流程。因此，无助记词钱包是 Web3 迈向大众普及的重要进步。 钱包提供方实现无助记词钱…

A new tool for teams & individuals that blends everyday work apps into one.

Proving the safety of the Wrapped ETH smart contract, using the Z3 Theorem Prover

One of the biggest DeFi narratives of2022 has been the ‘ve’ (“vote-escrow”) token model. The first of a series, this article provides an overview of the ‘ve’ token model, some of its constraints, and some pointers towards an improved model.

An EVM interpreter in Dafny. Contribute to Consensys/evm-dafny development by creating an account on GitHub.

Introduction to BlockDAG - a technology that can go hand-in-hand with blockchain but also acts as a new meta-technology that challenges it.

GITCOIN在两个月前举办了 OpenData 社区黑客马拉松！其中公布了三个重点领域，分别是：

@chenxingdotli: 区块链的性能优化是一个很热的话题。然而，由于区块链系统的复杂性，系统性理解性能优化门槛很高，这就为“性能虚标”提供了空间。前有 “百万tps” 大跃进，后有 “80万tps” 宕机链。 所以，我希望展开来讲一下决定区块链各模块的性能瓶颈和挑战，看看那些漂亮数据背后的水分。 1. 网络模块 作为一个去中心化的系统，网络通信是整个系统的基础，也有人将其称为 Layer 0。 我将网络模块抽象为三层：...…

When it comes to "non-custodial" wallet security, you may think your crypto keys are yours... but are they really?

只有你可以决定如何处理你辛苦赚来的加密货币。本文源自 Bankless，作者 William M. Peaster，由尘埃科技、老雅痞再次修改、编辑。（前情提要：分布式资本沈波：4,200万镁的Trust Wallet钱包被盗；疑私钥外泄）（相关补充：科普教学》FTX 垮台爆红的冷钱包是啥、有何优缺点；V 神力推的多签钱包更安全？） 在 FTX 大规模崩溃之后，保管好你的加密钥匙这件事儿比任何时候都更加重要，因为大多数将资金存储在中心化交易所 (CEX) 上的人和项目现在都将在 FTX 大规模崩溃中损失惨重。…

首页快讯一文速览16个在熊市中持续保持创新的新项目hangry2022.11.23 14:40:31在 3AC、Terra、FTX 这些黑天鹅让本就进入熊市周期的加密货币市场布满了乌云。 撰写：hangry 编译：深潮 TechFlow 在 3AC、Terra、FTX 这些黑天鹅让本就进入熊市周期的加密货币市场布满了乌云。但在加密市场中仍然涌现了许多创新项目。在如此艰难的环境下还能保持继续建设，是我们给予它们关注的原因。在这里，我选择了其中的 16 个项目，与大家分享： Tapioca Dao Tapioca…