๐ฅ๐ถ๐๐๐ฎ๐น ๐๐ต๐ฎ๐ถ๐ป ๐๐๐ ๐ฃ๐ฟ๐ฒ๐ฐ๐ผ๐บ๐ฝ๐ถ๐น๐ฒ: ๐ช๐ต๐ฎ๐ ๐๐ต๐ฒ ๐ฅ๐ฒ๐ฐ๐ฒ๐ถ๐ฝ๐ ๐๐ฐ๐๐๐ฎ๐น๐น๐ ๐๐ถ๐ป๐ฑ๐
An LLM receipt means nothing without context.
On Ritual Chain, you must ask a specific question. Which part of the path does the receipt bind? Which part must your application validate?
Ritual Chain uses an EVM with off-chain verifiable machine tasks. Precompile calls like HTTP and LLM hand work to TEE executors. This creates a specific boundary for the receipt.
The LLM precompile lives at 0x0802. It allows a contract to send a prompt and get a completion. This proves the path exists. It does not prove the answer is true, safe, or unbiased.
Execution paths follow three routes:
- Synchronous work
- Short-running async work
- Long two-phase async work
Short-running paths group HTTP and LLM calls. They route data through receipt.spcCalls. This gives you a place to inspect the result. However, it is not a semantic oracle. A value in receipt.spcCalls proves the path was used. It does not prove the answer is good for your use case.
Streaming tokens use EIP-712 signatures. This defines data structure. It does not turn a stream into final chain state. It does not prove text correctness. Treat streamed text as a preview until the final receipt lands.
The TEEServiceRegistry registers executors and proofs. This proves the environment. It does not prove the model output is correct. Remote attestation provides evidence, but your application must decide if that evidence meets your policy.
Watch for these constraints:
- Senders can hold only one pending async job at a time.
- Async gaps create TOCTOU risks.
- Your contract must check preconditions when a callback arrives.
The receipt is one piece. Your application must manage time, pending work, and shifting state.
Use this checklist to separate what the receipt covers and what you must prove:
What the receipt supports:
- Which request you sent.
- Which precompile path you used.
- Which output bytes returned.
- If data is final or a preview.
What the receipt cannot support:
- If the answer is true.
- If the answer is safe.
- If the output should trigger a transaction.
- If your application policy accepts the result.
Treat the receipt as a map, not a final judgment. Check the schema, output classes, and state. The receipt proves the source. Your policy proves the truth.
Source: https://dev.to/aicryptosystems/ritual-chain-llm-precompile-what-the-receipt-actually-binds-18pk
Optional learning community: https://t.me/GyaanSetuAi