TFTraceFiSecurity learning terminal

// Web3 security learning, redefined

Understandtheimplementation.Prove the failure.

Learn how Web3 systems are built, inspect realistic Solidity repositories, and prove security failures with real Foundry tests.

Start learning Explore paths

CHOOSE YOUR TRACEFI IDENTITY

Select a cyber persona when you create your account.

Fictional hooded cyber analyst with an ultraviolet visor.Cipher, Protocol analystFictional defensive engineer with a copper headset and high-collar jacket.Sentinel, Defensive engineerFictional low-light investigator with a translucent blue visor.Specter, Incident investigatorFictional systems modeler with circular smart glasses and cyan accents.Oracle, Systems modelerFictional communications specialist with a compact earpiece and quiet green accent.Relay, Signal coordinator
+5

TraceFi is currently a local prototype with fictional educational content.

Vault.solPATH-001

112

113

114

115

116

117

118

119

function previewRedeem(uint256 shares)

public view returns (uint256 assets) {

uint256 totalAssets = _totalAssets();

uint256 totalSupply = totalSupply();

return shares.mulDiv(totalAssets, totalSupply);

}

// Trace every state transition.

TerminalTestsTrace

$ forge test

[PASS] testInvariantModel() (gas: 186415)

[PASS] testPreviewPath() (gas: 142331)

Test result: ok. 2 passed; 0 failed; 0 skipped.

Runner: local isolated

01
FAMILY ATLAS
14
02
MAPPED PATHS
1
03
REPOSITORY FILES
0
04
LOCAL RUNNER
ISOLATED

How TraceFi works

Learn Model Investigate Test Master

  1. 01

    Learn

    Understand how the implementation should work.

  2. 02

    Model

    Map architecture, state, and invariants.

  3. 03

    Investigate

    Inspect unfamiliar code like a security engineer.

  4. 04

    Test

    Prove your hypothesis with Foundry.

  5. 05

    Master

    Transfer patterns to new protocols.

Community preview

Ask questions. Share methodology. Level up together.

Discuss implementations, Foundry tests, audit methodology, and vulnerability patterns with other learners. Community features are an upcoming product area, not a live forum.

Explore community ->

First protocol

Ready to investigate?

Build the mental model. Inspect the code. Prove the failure.

Create your account