Home > Proof Systems > Bulletproofs-Plus
Bulletproofs+¶
Description¶
An improvement over Bulletproofs with shorter proof sizes and better efficiency for privacy-enhanced distributed ledger applications. Achieves tighter bounds on proof size for range proofs.
Technical Characteristics¶
Complexity: - Prover: O(n log n) - Verifier: O(n) - Proof Size: O(log n) — shorter than Bulletproofs - Setup: transparent
Security: - Assumption: computational (discrete log) - Post-quantum: no - Basis: Weighted inner product argument
Dependencies¶
Based on: Bulletproofs Circuit representation: R1CS
Applications¶
Used by:
Resources¶
- Paper: CHJ+20-Bulletproofs-Opt
- Code:
- Explainer: