Log inSign up
Nethermind Security profile banner
user avatar

Nethermind Security

Nethermind
@NethermindSec
Comprehensive security from @Nethermind, from audits to formal verification. Book now: nethermind.io/nethermind-sec…
nethermind.io/nethermind-sec…
Joined September 2024
44
Following
1,583
Followers
RepliesArticlesMedia
  • user avatar
    Nethermind Security
    Nethermind
    @NethermindSec
    22m
    We started an audit of @0xNullEth. Null is the first modular synthetics protocol on Ethereum. Its markets are permissionless, immutable, and provide exposure to any asset. The review covers the full Solidity codebase, focused on settlement logic and ERC-4626 vault architecture.
    Image
    00:00
  • user avatar
    Nethermind Security
    Nethermind
    @NethermindSec
    19h
    We started an audit of @axol_io's PXE Bridge. It exposes Aztec's shielded settlement to EVM intent solvers over JSON-RPC: solvers request note creation via a simple RPC call, and the bridge's embedded Aztec PXE creates the shielded note and generates the proof on their behalf,
    Image
    00:00
  • user avatar
    Nethermind Security
    Nethermind
    @NethermindSec
    Aug 12
    If you run an AI security scanner twice, the second turn usually starts from zero. It forgets your codebase, so you get the same false positives every time. AuditAgent remembers. Every scan builds on the last, so the noise drops and the signal sharpens with every run.
    Image
    00:00
  • user avatar
    Nethermind Security
    Nethermind
    @NethermindSec
    Jul 31
    AuditAgent now scans codebases up to 20k lines in a single pass, up from 12k. It also connects to GitLab now, not just GitHub. Wherever your code lives, you can point AuditAgent at it. On our internal benchmark, the updated findings validation kept roughly 25% increase in
    Image
    00:00