Modules§
- accumulator
- bbdt16_
kvac - bbs_23
- bbs_
23_ ietf - bbs_
plus - bound_
check_ bpp - bound_
check_ legogroth16 - bound_
check_ smc - bound_
check_ smc_ with_ kv - inequality
- ped_
comm - ps_
signature - r1cs_
legogroth16 - saver
- verifiable_
encryption_ tz_ 21
Structs§
- Statements
- A collection of statements
Enums§
- Statement
- Type of relation being proved and the public values for the relation