Linear Algebra with Sub-linear Zero-Knowledge Arguments
Short Pairing-based Non-interactive Zero-Knowledge Arguments
Efficient Non-Interactive Zero Knowledge Arguments for Set Operations