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…

Key takeaways Introduction Crypto drainers are malicious tools that steal digital assets like NFTs, and tokens from cryptocurrency wallets. They often use phishing techniques and leverage smart contracts to enhance their impact. Typically, users are tricked…

Programmable cryptography and advanced decentralisation technologies for novel, emergent applications.

Davanti Research

32-bit Binary Towers are 5x more hardware efficient than Mersenne31 multipliers

For when you want your Solidity devs to cry in a new language

Learn how Fully Homomorphic Encryption (FHE) secures data by enabling encrypted computations, boosting privacy and security without decryption.