A lot of research has been put into the Angle Protocol design. While its structure can seem simple at first glance, it has many…

The article delves into the technical aspects of the Prague/Electra (Pectra) hardfork. It explains the key changes introduced to the consensus and execution layers, highlighting their implications for various projects, user experience, security, and the …

Documenting the process of building PdfLib.sol, a library of probability density functions in solidity, and explaining some of it's features.

This blog post is a condensed form of a research paper from 2023 exploring the landscape of AMMs

Key derivation is essential in many cryptographic applications, including key exchange, key management, secure communications, and building robust cryptographic primitives. But it’s also easy to get wrong: although standard tools exist for different key derivation…

The challenges of assembly implementation in Pectra system contracts. Plus, an approach to formal verification using halmos.

The method and costs to contract data persistence.

Welcome to ZK Mesh, a monthly newsletter covering the latest in advanced privacy-enhancing cryptography, distributed protocol development, and zero-knowledge systems research.

ERC4626 property tests for fuzzing and symbolic execution to help vault builders detect standard violations

Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts. - andreitoma8/learn-yul

Building a fully SNARKed Ethereum

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

Today, Morpho Labs has released Bundler3, an open-source smart contract that enables externally-owned accounts (EOAs) to execute a sequence of arbitrary calls atomically, including actions requiring approvals or callbacks.

In this article we will go through powdr's latest research and experimental feature: automatic generation of circuits to accelerate guest programs.

A deep-dive into the Intent VS Message-Based Interop systems debate.