The open stack for private, composable Ethereum execution.

Symbolic Execution is an open-source effort exploring how privacy can become part of the native application model on Ethereum, not just an external service, rollup or isolated tool creating fragmented liquidity.

We are interested in systems where contracts can work with private values as first-class objects and private state can compose across applications.

We aim to help define a credibly neutral privacy layer for Ethereum: open, composable infrastructure that many applications can share rather than a privacy system tied to a single product, operator, or silo.

Privacy on Ethereum is still too fragmented.

Many approaches are powerful in isolation, but hard to compose into a shared application model for tokens, DeFi, coordination, and general-purpose contract systems.

We think private computation should be easier to reason about, easier to build with, and easier to plug into existing sources of liquidity, like Ethereum mainnet.

We are focused on open specifications, public design work, and reference implementations.

The current direction is inspired in part by ERC-7984: Confidential Fungible Token, especially its pointer-based and technology-agnostic approach to confidential values, while aiming to define an independent and openly developed model for private, composable execution on Ethereum.