Struct ZeroKnowledgeProof 

pub struct ZeroKnowledgeProof { /* private fields */ }

Encoded World ID Proof.

Internally, the first 4 elements are a compressed Groth16 proof [a (G1), b (G2), b (G2), c (G1)]. Proofs also require the root hash of the Merkle tree in the WorldIDRegistry as a public input. To simplify transmission, that root is encoded as the last element with the proof.

The WorldIDVerifier.sol contract handles the decoding and verification.

Implementations

impl ZeroKnowledgeProof

pub fn from_groth16_proof( groth16_proof: &Proof<Bn254>, merkle_root: FieldElement, ) -> Self

Initialize a new proof from a Groth16 proof and Merkle root.

pub const fn as_ethereum_representation(&self) -> [U256; 5]

Outputs the proof as a Solidity-friendly representation.

pub const fn from_ethereum_representation(value: [U256; 5]) -> Self

Initializes a proof from an encoded Solidity-friendly representation.

pub fn to_compressed_bytes(&self) -> Vec<u8>

Converts the proof to compressed bytes (160 bytes total: 5 × 32 bytes).

pub fn from_compressed_bytes(bytes: &[u8]) -> Result<Self, String>

Constructs a proof from compressed bytes (must be exactly 160 bytes).

Errors

Returns an error if the input is not exactly 160 bytes or if bytes cannot be parsed.

Trait Implementations

impl Clone for ZeroKnowledgeProof

fn clone(&self) -> ZeroKnowledgeProof

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ZeroKnowledgeProof

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ZeroKnowledgeProof

fn default() -> ZeroKnowledgeProof

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ZeroKnowledgeProof

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<ZeroKnowledgeProof> for [U256; 5]

fn from(value: ZeroKnowledgeProof) -> Self

Converts to this type from the input type.

impl PartialEq for ZeroKnowledgeProof

fn eq(&self, other: &ZeroKnowledgeProof) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ZeroKnowledgeProof

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ZeroKnowledgeProof

impl StructuralPartialEq for ZeroKnowledgeProof