zkVM Integration

Overview

The Glitch Gremlin AI platform integrates with Nexus zkVM to provide enhanced privacy and security for chaos testing. This integration allows tests to run in a zero-knowledge environment, generating cryptographic proofs of test execution without revealing sensitive details.

Features

• Isolated test execution in zkVM environment

• Cryptographic proofs of test completion

• Enhanced privacy for test parameters and results

• Compatible with all existing test types

Configuration

Enable zkVM execution by setting the environment variable:

export USE_ZKVM=true

Prerequisites

1. Install Nexus zkVM:

cargo install nexus-zkvm

1. Configure zkVM environment:

nexus config init

Architecture

The zkVM integration consists of three main components:

1. ZkVMExecutor: Manages test execution in the zkVM environment

2. Proof Generation: Creates cryptographic proofs of test completion

3. Result Verification: Validates proofs on-chain

Usage Example

import { GlitchSDK, TestType } from '@glitch-gremlin/sdk';

const sdk = new GlitchSDK({
    cluster: 'devnet',
    wallet: yourWallet,
    useZkVM: true  // Enable zkVM execution
});

const request = await sdk.createChaosRequest({
    targetProgram: "Your program ID",
    testType: TestType.EXPLOIT,
    duration: 300,
    intensity: 7,
    params: {
        zkvm: {
            proofType: 'full',  // or 'light' for faster verification
            confidential: true  // Hide test parameters
        }
    }
});

// Results will include a cryptographic proof
const results = await request.waitForCompletion();
console.log('Proof:', results.proof);

Security Considerations

1. Proof Verification

   • All proofs are verified on-chain before finalizing results

   • Invalid proofs result in test failure

   • Proof verification adds ~2-5 seconds to completion time

2. Data Privacy

   • Test parameters are encrypted in the zkVM

   • Results contain only the proof and basic metrics

   • Full logs available only to test requestor

3. Resource Limits

   • Maximum test duration: 1 hour

   • Maximum program size: 10MB

   • Memory limit: 4GB per test

Best Practices

1. Start with shorter tests while learning zkVM integration

2. Monitor resource usage - zkVM execution is more intensive

3. Keep test programs minimal - include only necessary logic

4. Store proof verification keys securely

5. Implement proper error handling for proof verification

Troubleshooting

Common issues and solutions:

1. Proof Generation Fails

   Error: Failed to generate proof

   • Check zkVM installation

   • Verify program size limits

   • Monitor system resources

2. Verification Timeout

   Error: Proof verification timeout

   • Increase timeout settings

   • Try 'light' proof type

   • Reduce test complexity

3. Memory Errors

   Error: Out of memory

   • Reduce test duration

   • Decrease parallel operations

   • Monitor zkVM memory usage

Next Steps

• Review Test Types for zkVM compatibility

• Learn about Proof Types

• Explore Advanced Configuration