Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.starknet.io/llms.txt

Use this file to discover all available pages before exploring further.

A type that contains 4 u128s (a, b, c, d) and guarantees that a * b = 2**128 * c + d. The guarantee is verified by u128_mul_guarantee_verify, which is the only way to destruct this type. This way, one can trust that the guarantee holds although it has not yet been verified.

​
Signature

pub extern type U128MulGuarantee;