Paxeer Docs logo

State Proofs

Learn how Paxeer's eth_getProof returns IAVL proofs instead of Ethereum MPT proofs, and what this means for verification.

State Proofs

Paxeer supports eth_getProof but returns a different proof format from Ethereum. If your application verifies proofs on-chain or off-chain, you need to account for this difference.

The Difference

Ethereum stores state in a Merkle Patricia Trie (MPT) and eth_getProof returns MPT inclusion proofs. Paxeer stores state in an IAVL tree and returns IAVL proofs instead.

The RPC method exists and responds correctly, but the proof data structure is not compatible with Ethereum MPT proof verifiers.

What This Affects

Most applications do not call eth_getProof directly. It is primarily used by:

  • Light clients verifying state without trusting an RPC node
  • Cross-chain bridges proving inclusion of state on Paxeer
  • Applications verifying contract storage values trustlessly

If you are doing standard contract reads, event queries, or transaction lookups, this difference does not affect you.

Calling eth_getProof

The call works through standard libraries:

viem
import { createPublicClient, http } from 'viem';
import { sei } from 'viem/chains';

const client = createPublicClient({ chain: sei, transport: http() });

const proof = await client.getProof({
  address: '0xContractAddress',
  storageKeys: ['0xStorageSlot'],
});

// proof.accountProof and proof.storageProof contain IAVL proof data,
// not Ethereum MPT proofs - do not pass to an MPT verifier
ethers
import { ethers } from 'ethers';

const provider = new ethers.JsonRpcProvider('https://evm-rpc.sei-apis.com');

const proof = await provider.send('eth_getProof', [
  '0xContractAddress',
  ['0xStorageSlot'],
  'latest',
]);

// Same caveat - proof data is IAVL format

Verifying Proofs

To verify Paxeer state proofs, use an IAVL-compatible verifier. Standard Ethereum MPT verifier libraries (e.g. those used in Solidity or in Ethereum bridge contracts) will reject Paxeer proofs.

Refer to the Paxeer RPC reference for the exact proof schema returned.