Kontrol your smart contracts with formal verification made simple

Using CRDTs and blockchains to build a decentralized social network

Source code for "Building Cryptographic Proofs from Hash Functions" - hash-based-snargs-book/hash-based-snargs-book

The first article in the series on modern lending protocols focuses on the technical design, key features, and implementation of the Euler V2 protocol.

A Windows 95 themed UI for interacting with Ethereum smart contracts.

What is a Base Account and how the Base Account SDK lets you add universal sign-in and one-tap USDC payments to any app.

In this experimental paper, we will dive into EVM bytecode and examine distinct patterns and markers left by different major EVM compilers. We'll also explore the potential for using these patterns to identify the compiler used to generate a given contract's…

Learn about Stake-Weighted Quality of Service (SWQoS), how Solana processes transactions, and the growing importance of validators and stake

Learn the pros and cons of ERC-5564: a new protocol that aims to bring stealth addresses and unlock new opportunities to build privacy-preserving financial infrastructure on Ethereum

CEX EVMS Address Analysis
The purpose of retrieving all data from the cex_evms.addresses table is to analyze and understand the distribution, activity, and characteristics of addresses interactin...

This post is a brief overview of sequencing rules and their effect on transaction execution fairness. Sequencing rules can be applied on different le...

A DEX with BALLs. Contribute to eugenioclrc/huffswap-v2-core development by creating an account on GitHub.

real-time rollups performance - built by conduit.xyz

Soldeer is a lightweight package manager for Solidity built in Rust.