Tencent application compiler

Prove the whole stack, not just the plan.

One request crosses HTTPS, the frontend, the backend, PostgreSQL, and Redis. A separate read verifies both stores returned the same value.

Round-trip check

Create a proof record

Ready

The API stores this exact value in both services, then reads it back.

PostgreSQL

Waiting to run

Redis

Waiting to run

Cross-store match

Waiting to run