Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/athanorlabs/go-dleq

go implementation of cross-group discrete logarithm equality proofs
https://github.com/athanorlabs/go-dleq

cryptography dleq zero-knowledge

Last synced: about 1 month ago
JSON representation

go implementation of cross-group discrete logarithm equality proofs

Awesome Lists containing this project

README

        

# go-dleq

This repo contains an implementation of cross-group discrete logarithm equality as specified in [MRL-0010](https://www.getmonero.org/resources/research-lab/pubs/MRL-0010.pdf). In addition to what's specified in the paper, it contains an additional proof of knowledge of the witness ie. a signature on both curves. Currently, secp256k1 and ed25519 are supported. The library is written such that other curves can be added.

## Usage
```go
import (
"github.com/athanorlabs/go-dleq"
"github.com/athanorlabs/go-dleq/ed25519"
"github.com/athanorlabs/go-dleq/secp256k1"
)

curveA := secp256k1.NewCurve()
curveB := ed25519.NewCurve()
x, err := dleq.GenerateSecretForCurves(curveA, curveB)
if err != nil {
panic(err)
}

proof, err := dleq.NewProof(curveA, curveB, x)
if err != nil {
panic(err)
}

err = proof.Verify(curveA, curveB)
if err != nil {
panic(err)
}
```