Skip to content

feat: Add selector prefix to e2e-test seal output for on-chain verification #15

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Mehd1b merged 1 commit into from
Jan 26, 2026
Merged

feat: Add selector prefix to e2e-test seal output for on-chain verification #15

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
96 changes: 96 additions & 0 deletions contracts/script/TestVerifyAndParse.s.sol
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,96 @@
// SPDX-License-Identifier: Apache-2.0
pragma solidity ^0.8.20;

import {Script, console} from "forge-std/Script.sol";
import {KernelExecutionVerifier} from "../src/KernelExecutionVerifier.sol";

contract TestVerifyAndParse is Script {
// Deployed contract address on Sepolia
address constant VERIFIER_ADDRESS = 0x9Ef5bAB590AFdE8036D57b89ccD2947D4E3b1EFA;

// Test data from e2e-tests output
bytes32 constant IMAGE_ID = 0xb326f06dbfc60f5e72d2d7cddf94f7991cff99dfd67f69357713bb9f49c3d195;
bytes32 constant AGENT_ID = 0x4242424242424242424242424242424242424242424242424242424242424242;

function run() external {
KernelExecutionVerifier verifier = KernelExecutionVerifier(VERIFIER_ADDRESS);

// Seal from zkVM proof (with selector prefix 0x73c457ba)
bytes memory seal = hex"73c457ba14a54a4b4694dafbf4de2a28afb50e08ad058997b71fbc5f0ceee539dd63f503016e967d32903d32812f4e950fb1035750b6c448ce3ba603e6a4162c1ac78f320a6e9cbd7ff7a966d430d4b541c5621fb5075f57d73af0737770361f832a7b07225de9bba2c86a3a5026d62643570fb01293631ea28358353f6c768f101d52492d4cf2637053c900c6149937bd8fec2b08de9c3c0e1db72989b35f255da1a32b2f0bfe9c1f2e9e4795ea0a183b5302a53386c6f96880f014d78631818b69e92f1436b22c0e6213d192df183e6df6523f5693f01dc8db8088474b51328e4a54892df02090e8f7db0fb979b45655747a58a0598e54e2d5d33e695cf2acee0a60a9";

// Journal from zkVM proof (209 bytes)
bytes memory journal = hex"01000000010000004242424242424242424242424242424242424242424242424242424242424242943395a6221a2b9c6f62bac3a07f1fb05980f48e00f8b6bdb5eb738ac98499eebbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbcccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc01000000000000008b9f6c2e7972d334d9347953b2ad91c5283a5dc9f68e5f1309f1e012ece73334a4b1f22de8149ff8156f11d5aa0585e03844cc76b1d52f5e11b420312d64037101";

console.log("=== Test verifyAndParse ===");
console.log("Verifier address:", VERIFIER_ADDRESS);
console.log("Image ID:");
console.logBytes32(IMAGE_ID);
console.log("Agent ID:");
console.logBytes32(AGENT_ID);
console.log("Journal length:", journal.length);
console.log("Seal length:", seal.length);

// Check if agent is already registered
bytes32 registeredImageId = verifier.agentImageIds(AGENT_ID);
console.log("\nRegistered image ID for agent:");
console.logBytes32(registeredImageId);

if (registeredImageId == bytes32(0)) {
console.log("\nAgent not registered. Run RegisterAgent script first.");
console.log("Command: forge script script/TestVerifyAndParse.s.sol:RegisterAgent --rpc-url $RPC_URL --broadcast");
return;
}

// Call verifyAndParse (view function, no broadcast needed)
console.log("\nCalling verifyAndParse...");

try verifier.verifyAndParse(journal, seal) returns (KernelExecutionVerifier.ParsedJournal memory parsed) {
console.log("\n=== Verification SUCCESS ===");
console.log("Agent ID:");
console.logBytes32(parsed.agentId);
console.log("Agent Code Hash:");
console.logBytes32(parsed.agentCodeHash);
console.log("Constraint Set Hash:");
console.logBytes32(parsed.constraintSetHash);
console.log("Input Root:");
console.logBytes32(parsed.inputRoot);
console.log("Execution Nonce:", parsed.executionNonce);
console.log("Input Commitment:");
console.logBytes32(parsed.inputCommitment);
console.log("Action Commitment:");
console.logBytes32(parsed.actionCommitment);
} catch Error(string memory reason) {
console.log("\n=== Verification FAILED ===");
console.log("Reason:", reason);
} catch (bytes memory lowLevelData) {
console.log("\n=== Verification FAILED (low-level) ===");
console.logBytes(lowLevelData);
}
}
}

contract RegisterAgent is Script {
address constant VERIFIER_ADDRESS = 0x9Ef5bAB590AFdE8036D57b89ccD2947D4E3b1EFA;
bytes32 constant IMAGE_ID = 0xb326f06dbfc60f5e72d2d7cddf94f7991cff99dfd67f69357713bb9f49c3d195;
bytes32 constant AGENT_ID = 0x4242424242424242424242424242424242424242424242424242424242424242;

function run() external {
KernelExecutionVerifier verifier = KernelExecutionVerifier(VERIFIER_ADDRESS);

console.log("=== Register Agent ===");
console.log("Verifier:", VERIFIER_ADDRESS);
console.log("Agent ID:");
console.logBytes32(AGENT_ID);
console.log("Image ID:");
console.logBytes32(IMAGE_ID);

vm.startBroadcast();

verifier.registerAgent(AGENT_ID, IMAGE_ID);

vm.stopBroadcast();

console.log("\nAgent registered successfully!");
console.log("Now run: forge script script/TestVerifyAndParse.s.sol:TestVerifyAndParse --rpc-url $RPC_URL");
}
}
17 changes: 15 additions & 2 deletions crates/e2e-tests/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -190,13 +190,26 @@ mod zkvm_tests {
.flat_map(|x| x.to_le_bytes())
.collect();

// Convert agent_id to hex for on-chain use
let agent_id_bytes: [u8; 32] = [0x42; 32];

// The on-chain verifier expects: [4-byte selector][256-byte seal]
// The selector is the first 4 bytes of verifier_parameters digest
let selector = &groth16_receipt.verifier_parameters.as_bytes()[..4];
let mut encoded_seal = Vec::with_capacity(4 + groth16_receipt.seal.len());
encoded_seal.extend_from_slice(selector);
encoded_seal.extend_from_slice(&groth16_receipt.seal);

println!("\n=== On-chain verification data ===");
println!("seal (hex): 0x{}", hex::encode(&groth16_receipt.seal));
println!("seal length: {} bytes", groth16_receipt.seal.len());
println!("verifier_parameters: 0x{}", hex::encode(groth16_receipt.verifier_parameters.as_bytes()));
println!("selector (first 4 bytes): 0x{}", hex::encode(selector));
println!("seal (with selector, hex): 0x{}", hex::encode(&encoded_seal));
println!("seal length (with selector): {} bytes", encoded_seal.len());
println!("journal (hex): 0x{}", hex::encode(&receipt.journal.bytes));
println!("journal length: {} bytes", receipt.journal.bytes.len());
println!("image_id (bytes32): 0x{}", hex::encode(&image_id_bytes));
println!("image_id (u32[8]): {:?}", ZKVM_GUEST_ID);
println!("agent_id (bytes32): 0x{}", hex::encode(&agent_id_bytes));
}
println!("All assertions passed!");
}
Expand Down
Loading