Crate multiexp

source ·
Expand description

Multiexp

A multiexp implementation for ff/group implementing Straus and Pippenger. A batch verification API is also available via the “batch” feature, which enables secure multiexponentation batch verification given a series of values which should sum to the identity, identifying which doesn’t via binary search if they don’t.

This library was audited by Cypher Stack in March 2023, culminating in commit 669d2dbffc1dafb82a09d9419ea182667115df06. Any subsequent changes have not undergone auditing.

This library is usable under no_std, via alloc, when the default features are disabled.

Structs

  • A batch verifier intended to verify a series of statements are each equivalent to zero.

Functions

  • Performs a multiexponentation, automatically selecting the optimal algorithm based on the amount of pairs.
  • Performs a multiexponentation in variable time, automatically selecting the optimal algorithm based on the amount of pairs.