A bridge linking siloed blockchains

We recently introduced our new offering, invariant development as a service. A recurring question that we are asked is, “Why fuzzing instead of formal verification?” And the answer is, “It’s complicated.” We use fuzzing for most of our audits but have used…

An effort to educate the Ethereum community about the gas limit and how it can be used to help improve Ethereum scaling.

The Ethereum Foundation is sponsoring a 4844 data analysis and visualization blog post challenge. Here are all the details you need.

How to implement stateful invariant testing using Halmos, a symbolic testing tool for EVM smart contracts.

The best development platform for building custom modular Cosmos-SDK blockchains - rollchains/spawn

Paradigm is a research-driven crypto investment firm that funds companies and protocols from their earliest stages.

An interface for the EVM in the browser, to simulate and visualize onchain activity.

Welcome to zkMesh, a monthly newsletter covering the latest in advanced privacy-enhancing cryptography, distributed protocol development, and zero knowledge systems research. zkMesh is produced by ZK Hack.Thanks for reading zkMesh! Subscribe for free to receive…

比特币思想的中文集结地

Auditable & minimal JS implementation of public-key post-quantum cryptography - paulmillr/noble-post-quantum

A primer on MPC wallets and their security features and pitfalls

In the computing landscape, a significant shift towards decentralization is taking place, moving away from traditional centralized models. This evolution is underscored by innovations such as the Io Net, driven by a combination of factors that spotlight the…

🍋 An open dataset containing smart contract audit issues from various sources. - tintinweb/smart-contract-vulndb

Large-scale quantum computers are capable of breaking all of the common forms of asymmetric cryptography used on the Internet today. Luckily, they don’t exist yet. The Internet-wide transition to post-quantum cryptography began in 2022 when NIST announced…

A curated list of awesome smart contract analysis tools - LouisTsai-Csie/awesome-smart-contract-analysis-tools

An automated market maker for fixed and variable yield with on-demand terms. - delvtech/hyperdrive

Bytegraph is a blockchain analysis app that let you view any smart-contract as a graph of bytecode.

Building block smart contracts written in Rust for Stylus - cygaar/inkmate

The most comprehensive directory of blockchain data resources on the internet.