SPIN TO REVEAL

0%

Trace the circle. Wake the page.

N0zoM1z0 Code. Break. Learn. Rise.

Home Posts Archive Categories Tags Projects About Search

© 2026 Powered by Magic, Tea, and Formal Verification. Maintained by the Senior Incident Resolver @ TouHou University.

N0zoM1z0 Code. Break. Learn. Rise.

Categories

Filed notes

Audits

3 notes filed here.

MIPS, Merkle, and 0/0: Two Recursion Soundness Bugs in Ziren Pico, Proof Boundaries, and the Places zkVMs Really Break Auditing Jolt: Where zkVM Performance Tricks Meet Security Reality

Automation

1 note filed here.

A Queue for Every Little ChatGPT Window

Essays

1 note filed here.

Chains Are Not Databases. They Are Digital Constitutions.

Learning Notes

1 note filed here.

Plonky3 Deep Dive: Reading a STARK Toolkit From the Source

Projects

1 note filed here.

Welcome to osu! in a browser

Security Research

3 notes filed here.

MIPS, Merkle, and 0/0: Two Recursion Soundness Bugs in Ziren Pico, Proof Boundaries, and the Places zkVMs Really Break Auditing Jolt: Where zkVM Performance Tricks Meet Security Reality

Tools

1 note filed here.

A Queue for Every Little ChatGPT Window

Web Experiments

1 note filed here.

Welcome to osu! in a browser

Web3

1 note filed here.

Chains Are Not Databases. They Are Digital Constitutions.

ZK

4 notes filed here.

MIPS, Merkle, and 0/0: Two Recursion Soundness Bugs in Ziren Plonky3 Deep Dive: Reading a STARK Toolkit From the Source Pico, Proof Boundaries, and the Places zkVMs Really Break Auditing Jolt: Where zkVM Performance Tricks Meet Security Reality

Recently Updated

Chains Are Not Databases. They Are Digital Constitutions. MIPS, Merkle, and 0/0: Two Recursion Soundness Bugs in Ziren A Queue for Every Little ChatGPT Window

Project Index

View all projects

Trending Tags

audit zkvm automation blockchains chatgpt governance jolt learning

PV -- UV --