Opened 18 months ago

Last modified 3 weeks ago

#22776 assigned enhancement

Implement the remaining cryptographic protocols for Hyphae

Reported by: isis Owned by:
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 (3)

comment:1 in reply to:  description Changed 17 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.


comment:2 Changed 3 weeks ago by gaba

Owner: changed from isis to gaba
Status: acceptedassigned

comment:3 Changed 3 weeks ago by gaba

Owner: gaba deleted
Note: See TracTickets for help on using tickets.