Circomspect has more passes! - By Fredrik Dahlgren, Principal Security Engineer
TL;DR: We have released version 0... https://blog.trailofbits.com/2023/03/21/circomspect-static-analyzer-circom-more-passes/ #blockchain #products #crytic

Porting the Solana eBPF JIT compiler to ARM64 - By Andrew Haberlandt 
During my summer internship at Trail of Bits, I worked on th... https://blog.trailofbits.com/2022/10/12/solana-jit-compiler-ebpf-arm64/ #engineeringpractice #internshipprojects #uncategorized #blockchain #crytic

Upgradeable contracts made safer with Crytic - Upgradeable contracts are not as safe as you think. Architectures for upgradeability can be flawed, ... more: https://blog.trailofbits.com/2020/06/12/upgradeable-contracts-made-safer-with-crytic/ #blockchain #crytic

Bug Hunting with Crytic - Crytic, our Github app for discovering smart contract flaws, is kind of a big deal: It detects secur... more: https://blog.trailofbits.com/2020/05/15/99826/ #blockchain #crytic