Horus is an open-source automated formal verification tool that helps Starknet developers detect bugs in their smart contracts

概述 在之前的两篇文章中，我们讨论了对以太坊常规数据的导入和分析。文章链接如下: Clickhouse 以太坊分析:基础交易数据清洗 Clickhouse 以太坊分析:交易日志分析 如果您

Recently, the engineering team at Paradigm unveiled a new open-source execution client

An extensible Python implementation of the Ethereum yellow paper from scratch.

TRUSCOVA | We leverage Formal verification and other leading technologies to ensure security of your smart contracts.

This technical deep dive is written by Chjango Unchained. Enjoy.

To derive deep insights in tokenomics, 6th Man Ventures is building Agent Based Simulations for infrastructure economies.

Blurring fee lines.

比特币思想的中文集结地

Curve Finance 不管是在 Stablecoin Swap 的 AMM Algorithm， 或是廣為被其他人效法的 veToken 經濟模型設計，都是 DeFi 領域極具代表性的創新。去年底 Curve Finance…

MEV 以及 The Merge 對 MEV 的影響。

As smart contract security constantly evolves, property-based fuzzing has become a go-to technique for developers and security engineers. This technique relies on the creation of code properties – often called invariants – which describe what the code is…

可能是最迷《龙珠》的Crypto生态了。

This repository, brought to you by Trail of Bits, outlines our guidelines and best practices to write secure smart contracts.

DeBox Institute Author: Markie I Yafon | Typesetting:Yafon | Date: 28th Feb, 2023

Welcome to zkMesh, a monthly newsletter covering the latest in decentralized privacy-enhancing technologies, protocol development, and zero knowledge systems research. zkMesh is produced by ZK Hack. We bring you recent research, useful articles, videos, podcasts…

ink! is the Rust smart contract language of Polkadot. Running on RISC-V and PolkaVM.