Skip to main content

Home
Patch the
Planet (New)
Explore
Services
Company
Open
Source
Blog (opens in a new tab)

Home
Explore
Offchain ArbOS 40 Nitro

991 Publications
659 Audits
200+ Open-source repos
Since 2012

Audit Open Original ↗

Offchain ArbOS 40 Nitro

Type

Security review

Client

Offchain Labs

Date

2025-05

Domain

Blockchain

Effort

6 wks

Section

Offchain Labs

Open the PDF ↗

Related

2026-09 Offchain Labs OSP Soundness Guard Audit
2026-08 Offchain Labs Arbitrum Chains Genesis File Generator Audit
2026-08 Offchain Labs Tip Collection Toggler Audit
2026-08 Offchain Labs Yield-Bearing Bridge Audit
2026-07 Offchain Labs 3.2.0 Upgrade Action Contract Audit
2026-07 Offchain Labs Sequencer Feed Ticketing Audit

© 2026 Trail of Bits

Privacy Policy Vulnerability Disclosure

Services

Trail of Bits Services

Software Assurance Multi-disciplinary security reviews across the whole SDLC, with a team sized to your threat model rather than a fixed template.

AI/ML Security We review AI systems end to end, from training data and MLOps pipelines to model artifacts, inference hardware, and deployed agent loops.
Application Security Deep code, cloud, and architecture review that finds the root cause and the fix that retires the whole bug class.
Blockchain We review every layer of a blockchain system, from smart contracts to nodes and bridges, backed by Slither, Echidna, and Medusa.
Cryptography PhD-level cryptographers who build and break real protocols, from zero-knowledge proofs and MPC to post-quantum migrations.

Security Engineering An embedded team that builds custom security tooling and remediates vulnerabilities across your pipeline, from development through deployment. Research & Development Multi-year research that uncovers Internet-scale vulnerabilities and turns the findings into open-source tools, papers, and standards. Everything we do View all services

Get in touch

How can we help?

Contact Us Tell us about the software you need secured. Patch the Planet Apply to our open-source security initiative, in collaboration with OpenAI.

Other ways to reach us

Company

Who we are

About Who we are, what we believe, and how we got here.
Team The researchers and engineers behind the work.
Careers Open roles and what it's like to work here.

Explore the work

↵ to search all 1074

MCP Security

Securing the Model Context Protocol: the mcp-context-protector wrapper, disclosed attack classes, and community defenses.

AI/ML Security

Testing Handbook

Guides for configuring and automating static and dynamic analysis tools.

Application Security

ZKDocs

Interactive documentation on zero-knowledge proof systems.

Cryptography

Building Secure Smart Contracts

Best practices for developing secure smart contracts.

Blockchain

CTF Field Guide

Field guide to winning at Capture The Flag competitions.

Education

Ruby Security Field Guide

Practical Ruby security guide.

Application Security

Nothing here matches. Press ↵ to search the full library.

Trail of Bits

Security Review

sigstore-rust

Technology Product Reviews

2026-10

sigstore-rust

Supply Chain

Trail of Bits

Security Review

OpenAI OpenClaw

AI/ML Reviews

2026-09

OpenAI OpenClaw

AI/ML

Trail of Bits

Security Review

Yon Labs White Paper

Other/Multi-Chain

2026-09

Yon Labs White Paper

Blockchain

Trail of Bits

Security Review

Google Private AI

Compute, Secure Server-Side

AI/ML Reviews

2026-09

Google Private AI Compute, Secure Server-Side Memory

AI/ML

Trail of Bits

Security Review

Amazon Bee Private Compute

Technology Product Reviews

2026-09

Amazon Bee Private Compute

AppSec

Trail of Bits

Security Review

Offchain Labs OSP Soundness Guard

Offchain Labs

2026-09

Offchain Labs OSP Soundness Guard

Blockchain

Trail of Bits

Security Review

Gensyn Token Minting Cap

Ethereum/EVM

2026-09

Gensyn Token Minting Cap

Blockchain

Trail of Bits

Security Review

Gensyn Delphi LMSR

Markets with Automated

Ethereum/EVM

2026-09

Gensyn Delphi LMSR Markets with Automated Settlement

Blockchain

Trail of Bits

Security Review

Offchain Labs Arbitrum

Chains Genesis File

Offchain Labs

2026-08

Offchain Labs Arbitrum Chains Genesis File Generator

Blockchain

Nothing here matches. Press ↵ to search the full library.

2026 · Systems

Finding Hidden Overflows in Go: Fuzzing Beyond the Compiler's Limits

Kevin Valerio

2026 · AI/ML

How we made Trail of Bits AI-Native (so far)

Dan Guido

2026 · Systems

Auditing Scapy With Agents

Clinton Thomas

2025 · Systems

Buttercup: Autonomously Finding and Fixing Bugs at Scale in Open-Source Software

Ronald Eytchison

2025 · Systems

Buttercup: The Future of Trail of Bits' Solution to DARPA's AI Cyber Challenge

Trent Brunson

2025 · Systems

Buttercup and DARPA's AI Cyber Challenge, Ringzer0

Henrik Brodin, Ronald Eytchison

2025 · Systems

Our experience competing in the AI Cyber Challenge

Michael Brown et al.

2025 · Blockchain

Mutation Testing with Slither: A New Way to Find High-Severity Issues

Guillermo Larregay

Nothing here matches. Press ↵ to search the full library.

Skill Devcontainer Setup Devcontainer Setup · 2026-10 Skill Entry Point Analyzer Entry Point Analyzer · 2026-10 Skill Slicing Code Context Trailmark · 2026-10 Skill Diagramming Code Trailmark · 2026-10 Skill Dimensional Analysis Dimensional Analysis · 2026-10 Skill Firebase APK Security Scanner Firebase Apk Scanner · 2026-10 Skill Mermaid to ProVerif Trailmark · 2026-10 Skill Trailmark Trailmark · 2026-10 Skill Trailmark Finding Triage Trailmark · 2026-10 Skill YARA-X Rule Authoring Yara Authoring · 2026-10 Skill zeroize-audit Zeroize Audit · 2026-10 Skill Let Fate Decide Let Fate Decide · 2026-10 Skill Claude in Chrome MCP Troubleshooting Chrome Mcp Troubleshooting · 2026-10 Skill Interpreting Culture Index Culture Index · 2026-09

Nothing here matches. Press ↵ to search the full library.

Browse all guides & handbooks →

Home Patch the Planet Explore Get in Touch

Services
Open Source
Company
Blog

Search

Esc

No results

Try different keywords, or browse everything in Explore.

Loading index…

↑ ↓ Navigate ↵ Open