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.

全球 Web3 一线研究与情报智库

An ecosystem-wide initiative focused on improving the cross-chain user experience on Ethereum while maintaining freedom and minimising trust.

Summary / Network ParametersMonad is EVM bytecode-equivalent (you can redeploy bytecode without recompilation)Cancun fork (TSTORE, TLOAD, MCOPY) is supportedOpcode to gas units mapping is same as Ethereum (e.g. ADD is 4)RPC is compatible with geth, see RPC…

We'll explore Formal Verification by learning how to transform a program into logical formulas we can then solve with Z3 to create proofs about it.

This Bash script calculates the Safe transaction hashes by retrieving transaction details from the Safe transaction service API and computing both the domain and message hashes using the EIP-712 st...

Discover how order books, intents, and hybrid AMMs are reshaping DeFi. Learn about impermanent loss, MEV risks, and new solutions driving decentralized trading.

It’s been more than 6 months since my last post, and while I like to write, it’s hard to find a truly interesting/valuable topic. I think…

Discover the intriguing world of Circle STARKs and how they can supercharge zero-knowledge proofs. This blog post sets the stage for a fascinating series about utilizing Mersenne prime fields to achieve lightning-fast arithmetic operations in STARK systems.…

Workbook for Introduction to Programmable Cryptography - flyingnobita/0xparc_intro_book_workbook