After learning the basics of Solidity assembly in Part 1: Playing with Yul let’s now dive deeper!...

Curating the best content in crypto

Code on distributed systems may live long into the future, etchings on a ledger, similarly revealing our human tendencies

This step-by-step guide will show you how to verify a Starknet smartcontract using the voyager-verify CLI. There are a few prerequisites…

Aztec Connect 的维护成本不低；Noir 使用比特币风格的 UTXO 模型。

比特币思想的中文集结地

慢雾安全团队建议借贷类型的协议在涉及用户资金的函数需要做好必要的健康检查。

TL; DR:

A brief introduction to the AsyncHTTPProvider and AsyncENS module.

Smart contracts + provable storage = Filecoin Virtual Machine (FVM). Learn about the technology. Find developer resources and apply for grants.

黑客是如何攻击 Euler 的？目前哪些协议受到了影响？曾经为 Euler 提供审计的公司有哪些？

概述
本文以较为简单的 WETH 合约为例，介绍在 Foundry 架构中常用的几种较为高级的测试方法，如下:

Fuzz Testing 基于属性的单元测试的升级版
Invariant Testing 基于随机数据整体调用的测试
Formal Verification 形式化证明

本文也会给出上述测试手段的 github ci 配置文件。

学习使用诸如Arbitrum, Ethereum, Arweave, Sia, Skynet, Filecoin, IPFS以及ENS等去中心化存储工具搭建无法关停的网站。

In another article, we’d show the progress of decentralization of prover, sequencer, full node, client, Cairo, protocol and other Starknet network components.

The State of the Art

for builders and breakers

加密内存池是一个迷人的设计空间，了解一下这几种实现方案。

The Blockchain's Top Security Research from 2022. A collection of the top 10 most novel, unique hacking techniques in blockchain from 2022.

An analysis of Client Diversity based on a survey conducted in Q1 2023