The method and costs to contract data persistence.

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

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…

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

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

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 …

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

As a US federal agent, Tigran Gambaryan pioneered modern crypto investigations. Then at Binance, he got trapped between the world’s biggest crypto exchange and a government determined to make it pay.

The following content has been kindly guest contributed by bogo, as part of the Security Researcher Content Contributor Programme.

Welcome to the Web3 Security Auditor's 2024 Rewind, a collection of succinct technical breakdowns of notable security incidents and vulnerabilities from the past year.

We take a deep dive into Aptos’ implementation of fungible assets, exploring the intricacies hidden within its functions, objects, and interactions. While the Fungible Asset model was designed to address the limitations and security flaws of the legacy Coin…

Writing smart contracts requires a higher level of security assurance than most other fields of software engineering. The industry has evolved from simple ERC20 tokens to complex, multi-component DeFi systems that leverage domain-specific algorithms and handle…

For a sixth year running, regular Bitcoin Core contributors received a survey to surface priorities and ensure that people feel that they can contribute effectively. Below is a summary of the results in a format similar to previous years’ surveys.

Decentralized systems require the ability to prove authenticity of data received from potentially untrustworthy sources. The most well known data structure for this task is the Merkle tree, which allows one to efficiently prove inclusion of an element within…

Kite leverages the speed and elegance of Solana web3.js version 2 but allows you to do most common Solana tasks in a single function.

Foundry, the leading smart contract development framework, releases v1.0.

Paul Miller. I make projects which help developers to build awesome things

Learn how to implement and test smart contract invariants using Solidity. This guide covers tracking variables, defining properties, and running fuzzing tests with Echidna, Medusa, and Foundry.