Contribute to defi-wonderland/aztec-patterns development by creating an account on GitHub.

Weekly newsletter with round-up of the most important news happening around privacy in Web3.

EIP-4844 dev usage. Contribute to colinlyguo/EIP-4844-dev-usage development by creating an account on GitHub.

Power perps are assets that target the power of an index price, like index^2 or index^3. It's a fun rabbit hole to go down. The longer you think about power perps, the more you see how everything resembles a power perp.

An ecosystem collective for easy, unified, and open access to the source-code of EVM smart contracts.

Opinionated Framework for Building HyperVMs and Hyper-Scalable Blockchains on Avalanche - ava-labs/hypersdk

After 5 years of using Solidity, I thought I knew how calls worked. I didn't.

Ventral Digital LLC is a research and consultancy firm specializing in Information Security and Privacy.

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.