Opened 5 months ago

Last modified 4 months ago

#22776 accepted enhancement

Implement the remaining cryptographic protocols for Hyphae

Reported by: isis Owned by: isis
Priority: Medium Milestone:
Component: Obfuscation/BridgeDB Version:
Severity: Normal Keywords: bridgedb-distributors, rust
Cc: Actual Points:
Parent ID: #22775 Points: 3
Reviewer: Sponsor: SponsorM-must

Description

We'll need:

1) Back-Maxwell Rangeproofs (requires Borromean Ring Signatures)
2) A ZKP compiler
3) Testvectors for Ristretto (a.k.a. Decaf for curve25519)

Child Tickets

Change History (1)

comment:1 in reply to:  description Changed 4 months ago by isis

Keywords: SponsorM removed
Sponsor: SponsorM-must
Status: newaccepted

Replying to isis:

We'll need:

1) Back-Maxwell Rangeproofs (requires Borromean Ring Signatures)


This is in `dalek-rangeproofs`.

2) A ZKP compiler


hdevalence implemented a Rust DSL using macros for generating NIZK from pseudo-Camenisch-Stadler notation. I've cursorily looked at it and given suggestions/ideas as he was making it, but I'd need to take a closer look to see if it's already at the point of being useful for Hyphae's proofs.

3) Testvectors for Ristretto (a.k.a. Decaf for curve25519)


We still don't have this, but there's a very long email thread on standardising Ristretto so that we're all doing the same thing.


Note: See TracTickets for help on using tickets.