Featured in educational content about verifiable compute infrastructure connecting off-chain execution to on-chain proof in modular setups.