• Blog
Get a demo
  • Forging Transactions on Aleo A $65,000 Proof Forgery
    Jun 15, 2026 #zkvm #cryptography #bug-bounty
    How Veria AI Found an Arbitrary Proof Forgery in Aleo Cayden Cayden Jun 15, 2026 #zkvm#cryptography#bug-bounty

    How a weak Fiat-Shamir transcript allowed arbitrary transaction forgery on Aleo, and earned us a $65,000 bounty.

  • Pydantic
    Hacking Pydantic's Monty A $5,000 Sandbox Escape
    May 7, 2026 #bug-bounty
    Pwning Pydantic's Monty: A $5K Sandbox Escape Owen Kwan Owen Kwan May 7, 2026 #bug-bounty

    Pydantic offered $5,000 to escape Monty, their Rust-built Python sandbox for AI agents. We chained two GC bugs into a use-after-free and walked away with the bounty.

  • Model Context Protocol
    From MCP to Shell How MCP Authentication Flaws Enable RCE
    Sep 23, 2025 #rce #bug-bounty
    From MCP to Shell Raymond Raymond Sep 23, 2025 #rce#bug-bounty

    How MCP authentication flaws enable RCE in Claude Code, Gemini CLI, and more.

© 2026 Veria Labs, Inc.