Opened 21 months ago

Closed 7 weeks ago

#22776 closed enhancement (wontfix)

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: 21
Reviewer: Sponsor: Sponsor19-can

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 (6)

comment:1 in reply to:  description Changed 20 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 4 months ago by gaba

Owner: changed from isis to gaba
Status: acceptedassigned

comment:3 Changed 4 months ago by gaba

Owner: gaba deleted

comment:4 Changed 2 months ago by gaba

Points: 320
Sponsor: SponsorM-mustSponsor19-can

comment:5 Changed 8 weeks ago by gaba

Points: 2021

comment:6 Changed 7 weeks ago by gaba

Resolution: wontfix
Status: assignedclosed

It will not be implemented any time soon.

Note: See TracTickets for help on using tickets.