Generate tests based on the Branching Tree Technique. - alexfertel/bulloak

I have recently been looking at mining pool behavior during forks. Which block does a pool choose to mine on during a fork? Do they behave rationally and mine on their own block? In this post, I’ll detail the mining pool behavior during forks and give some…

Sourcify (sourcify.dev) is a source-code verification service for Ethereum smart contracts supporting Solidity, Vyper, and Yul. Sourcify is fully committed to:

The long tail of expressive prediction markets enabled by zkTLS, L2s, LLMs, and Stablecoins.

Let's face it, death is the final boss. It's the game over screen nobody wants to see. But what if you could develop your own infinite health cheat code? What if we could keep playing the game indefinitely? Let's play on pump.science.

Simple client for extracting data from the Dune Analytics API - paradigmxyz/spice

Why should we care about Web Proof?

My personal Substack. Click to read Victor’s Substack, by Victor Sint Nicolaas, a Substack publication. Launched 3 years ago.

Metrics that matter for digital assets and stablecoins. All in one place.

This is a two-part blogpost presenting a friendly digest of the PRIBLT paper and some unsolicited life advice. Part 1 sets up the problem of set reconciliati...

In this blog post we present crypto-condor, an open-source test suite for compliance testing of implementations of cryptographic primitives.

One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies - Account-Link/teleport-gramine-rs

Explore the challenges of formal verification in Solidity and EVM smart contracts. Learn about the path explosion problem, bounded loop unrolling, and how tools like Certora Prover, Halmos, hevm, and Kontrol approach verifying loops in smart contracts.

The article provides an in-depth exploration of the Aave V3 protocol, detailing its implementation and technical architecture. It delves into the internal algorithms and implementation tricks, as well as the new features introduced in V3.

The summary article highlights new features and improvements in modern lending protocol implementations, drawing insights from previous articles.

Fuzz smart contracts using the same code with Echidna, Medusa & Foundry!

The Next-Generation Multi-Factor Key Derivation Function (MFKDF2) is a function that takes multiple inputs and outputs a string of bytes that can be used as a cryptographic key. It serves the same purpose as a password-based key derivation function (PBKDF)…

MEV bots are money-printing machines. At least in theory. For the last ~year, I've been working on the MEV crypto bot for Ethereum EVM-compatible chains. In this blog post, I'll describe the ins and outs of trying to get into the MEV game with a limited web3…