Category Archives: Blockchain

What should governments consider when getting involved with blockchain? April 25, 2023

Codex (and GPT-4) can’t beat humans on smart contract audits March 22, 2023

Circomspect has more passes! March 21, 2023

Reusable properties for Ethereum contracts February 27, 2023

Porting the Solana eBPF JIT compiler to ARM64 October 12, 2022

Working on blockchains as a Trail of Bits intern October 5, 2022

Shedding smart contract storage with Slither July 28, 2022

Managing risk in blockchain deployments June 24, 2022

Solar: Context-free, interactive analysis for Solidity April 2, 2021

A Year in the Life of a Compiler Fuzzing Campaign March 23, 2021