Structsยง
- Check
Bullet ๐Proof Params - Finalize
Other ๐Proof Params - Incrementally
Verify ๐Proof Params - Sideloaded
Domain ๐ - Verify
Params ๐
Traitsยง
Functionsยง
- absorb_
curve ๐ - check_
bulletproof ๐ - domain_
for_ ๐compiled - domain_
generator ๐ - finalize_
other_ ๐proof - ft_comm ๐
- hash_
messages_ ๐for_ next_ step_ proof_ opt - incrementally_
verify_ ๐proof - lagrange_
commitment ๐ - multiscale_
known ๐ - proof_
verified_ ๐to_ prefix - public_
input_ ๐commitment_ dynamic - scale_
fast2 ๐ - scale_
fast2_ ๐prime - scale_
fast22 ๐ - scale_
for_ ๐ft_ comm - side_
loaded_ ๐domain - sponge_
after_ ๐index - squeeze_
challenge ๐ - squeeze_
scalar ๐ - tick_
shifts ๐ - to_
high_ ๐low - validate_
feature_ ๐flags - verify ๐