Struct EcdsaPrecompile 

pub struct EcdsaPrecompile;

ECDSA signature verification precompile handler.

Trait Implementations

impl EventHandler for EcdsaPrecompile

fn on_event( &self, process: &ProcessState<'_>, ) -> Result<Vec<AdviceMutation>, EventError>

ECDSA verification event handler called by the processor when the VM emits a signature verification request event.

Reads the public key, signature, and message digest from memory, performs ECDSA signature verification, provides the result via the advice stack, and stores the request data for verification (see PrecompileVerifier).

Input Format

• Stack: [event_id, ptr_pk, ptr_digest, ptr_sig, ...] where all pointers are word-aligned (divisible by 4)
• Memory: Data stored as packed u32 field elements (4 bytes per element, little-endian) with unused bytes in the final u32 set to zero

Output Format

• Advice Stack: Extended with verification result (1 for valid, 0 for invalid)
• Precompile Request: Stores tag [event_id, result, 0, 0] and serialized request data (pk || digest || sig) for verification time

impl PrecompileVerifier for EcdsaPrecompile

fn verify( &self, calldata: &[u8], ) -> Result<PrecompileCommitment, PrecompileError>

Verifier for ECDSA signature verification at verification time.

Receives the serialized request data (public key || digest || signature) stored during execution (see EventHandler::on_event), re-performs the ECDSA verification, and generates a commitment RPO(RPO(RPO(pk) || RPO(digest)) || RPO(sig)) with tag [event_id, result, 0, 0] that validates against the execution trace. Each of pk, digest, and sig is first converted to u32‑packed field elements before hashing.