Merge pull request #1 from automata-network/x509/rsa-patch

Testnet now runs on the Guest Program with RSA patch and v1.2.0

Author: preston4896

x509-risczero-cli/README.md

@@ -62,7 +62,7 @@ Options:
       --rpc <RPC_URL>
           Optional: RPC URL [default: https://1rpc.io/ata/testnet]
       --contract <CONTRACT_ADDRESS>
-          Optional: X509 Chain Demo Contract Address [default: 7DDd5855B6b910Cd175bE40D74CdC01211C55225]
+          Optional: X509 Chain Demo Contract Address [default: 005537B5cE847Dc3B5C8B9A42B366E7d932431d3]
   -w, --wallet-key <WALLET>
           REQUIRED: if the verify option is enabled, The user must provide an Ethereum Wallet Key
   -v, --verify

x509-risczero-cli/src/bin/demo.rs

@@ -35,7 +35,7 @@ struct Cli {
     rpc_url: String,
 
     /// Optional: X509 Chain Demo Contract Address
-    #[arg(long = "contract", value_name = "CONTRACT_ADDRESS", default_value_t = String::from("7DDd5855B6b910Cd175bE40D74CdC01211C55225"))]
+    #[arg(long = "contract", value_name = "CONTRACT_ADDRESS", default_value_t = String::from("005537B5cE847Dc3B5C8B9A42B366E7d932431d3"))]
     address: String,
 
     /// REQUIRED: if the verify option is enabled,
@@ -92,6 +92,9 @@ fn main() -> Result<()> {
         remove_prefix_if_found(&cli.address),
     );
 
+    let image_id = compute_image_id(X509_CHAIN_VERIFIER_ELF)?;
+    log::info!("ImageID: {}", image_id.to_string());
+
     // Step 3
     if cli.verify {
         let input = InputBytesType::abi_encode_params(&der_chain);