492 lines
14 KiB
Go
492 lines
14 KiB
Go
package rln
|
|
|
|
import "C"
|
|
import (
|
|
"encoding/binary"
|
|
"encoding/json"
|
|
"errors"
|
|
"fmt"
|
|
|
|
"github.com/waku-org/go-zerokit-rln/rln/link"
|
|
)
|
|
|
|
// RLN represents the context used for rln.
|
|
type RLN struct {
|
|
w *link.RLNWrapper
|
|
}
|
|
|
|
func getResourcesFolder(depth TreeDepth) string {
|
|
return fmt.Sprintf("tree_height_%d", depth)
|
|
}
|
|
|
|
// NewRLN generates an instance of RLN. An instance supports both zkSNARKs logics
|
|
// and Merkle tree data structure and operations. It uses a depth of 20 by default
|
|
func NewRLN() (*RLN, error) {
|
|
return NewWithConfig(DefaultTreeDepth, nil)
|
|
}
|
|
|
|
// NewRLNWithParams generates an instance of RLN. An instance supports both zkSNARKs logics
|
|
// and Merkle tree data structure and operations. The parameter `depth“ indicates the depth of Merkle tree
|
|
func NewRLNWithParams(depth int, wasm []byte, zkey []byte, verifKey []byte, treeConfig *TreeConfig) (*RLN, error) {
|
|
r := &RLN{}
|
|
var err error
|
|
|
|
treeConfigBytes := []byte{}
|
|
if treeConfig != nil {
|
|
treeConfigBytes, err = json.Marshal(treeConfig)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
}
|
|
|
|
r.w, err = link.NewWithParams(depth, wasm, zkey, verifKey, treeConfigBytes)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
|
|
return r, nil
|
|
}
|
|
|
|
// NewWithConfig generates an instance of RLN. An instance supports both zkSNARKs logics
|
|
// and Merkle tree data structure and operations. The parameter `depth` indicates the depth of Merkle tree
|
|
func NewWithConfig(depth TreeDepth, treeConfig *TreeConfig) (*RLN, error) {
|
|
r := &RLN{}
|
|
var err error
|
|
|
|
configBytes, err := json.Marshal(config{
|
|
ResourcesFolder: getResourcesFolder(depth),
|
|
TreeConfig: treeConfig,
|
|
})
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
|
|
r.w, err = link.New(int(depth), configBytes)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
|
|
return r, nil
|
|
}
|
|
|
|
func (r *RLN) SetTree(treeHeight uint) error {
|
|
success := r.w.SetTree(treeHeight)
|
|
if !success {
|
|
return errors.New("could not set tree height")
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// Initialize merkle tree with a list of IDCommitments
|
|
func (r *RLN) InitTreeWithMembers(idComms []IDCommitment) error {
|
|
idCommBytes := serializeCommitments(idComms)
|
|
initSuccess := r.w.InitTreeWithLeaves(idCommBytes)
|
|
if !initSuccess {
|
|
return errors.New("could not init tree")
|
|
}
|
|
return nil
|
|
}
|
|
|
|
func toIdentityCredential(generatedKeys []byte) (*IdentityCredential, error) {
|
|
key := &IdentityCredential{
|
|
IDTrapdoor: [32]byte{},
|
|
IDNullifier: [32]byte{},
|
|
IDSecretHash: [32]byte{},
|
|
IDCommitment: [32]byte{},
|
|
}
|
|
|
|
if len(generatedKeys) != 32*4 {
|
|
return nil, errors.New("generated keys are of invalid length")
|
|
}
|
|
|
|
copy(key.IDTrapdoor[:], generatedKeys[:32])
|
|
copy(key.IDNullifier[:], generatedKeys[32:64])
|
|
copy(key.IDSecretHash[:], generatedKeys[64:96])
|
|
copy(key.IDCommitment[:], generatedKeys[96:128])
|
|
|
|
return key, nil
|
|
}
|
|
|
|
// MembershipKeyGen generates a IdentityCredential that can be used for the
|
|
// registration into the rln membership contract. Returns an error if the key generation fails
|
|
func (r *RLN) MembershipKeyGen() (*IdentityCredential, error) {
|
|
generatedKeys := r.w.ExtendedKeyGen()
|
|
if generatedKeys == nil {
|
|
return nil, errors.New("error in key generation")
|
|
}
|
|
return toIdentityCredential(generatedKeys)
|
|
}
|
|
|
|
// SeededMembershipKeyGen generates a deterministic IdentityCredential using a seed
|
|
// that can be used for the registration into the rln membership contract.
|
|
// Returns an error if the key generation fails
|
|
func (r *RLN) SeededMembershipKeyGen(seed []byte) (*IdentityCredential, error) {
|
|
generatedKeys := r.w.ExtendedSeededKeyGen(seed)
|
|
if generatedKeys == nil {
|
|
return nil, errors.New("error in key generation")
|
|
}
|
|
return toIdentityCredential(generatedKeys)
|
|
}
|
|
|
|
// appendLength returns length prefixed version of the input with the following format
|
|
// [len<8>|input<var>], the len is a 8 byte value serialized in little endian
|
|
|
|
func appendLength(input []byte) []byte {
|
|
inputLen := make([]byte, 8)
|
|
binary.LittleEndian.PutUint64(inputLen, uint64(len(input)))
|
|
return append(inputLen, input...)
|
|
}
|
|
|
|
func (r *RLN) Sha256(data []byte) (MerkleNode, error) {
|
|
lenPrefData := appendLength(data)
|
|
|
|
b, err := r.w.Hash(lenPrefData)
|
|
if err != nil {
|
|
return MerkleNode{}, err
|
|
}
|
|
|
|
var result MerkleNode
|
|
copy(result[:], b)
|
|
|
|
return result, nil
|
|
}
|
|
|
|
func (r *RLN) Poseidon(input ...[]byte) (MerkleNode, error) {
|
|
data := serializeSlice(input)
|
|
|
|
inputLen := make([]byte, 8)
|
|
binary.LittleEndian.PutUint64(inputLen, uint64(len(input)))
|
|
|
|
lenPrefData := append(inputLen, data...)
|
|
|
|
b, err := r.w.PoseidonHash(lenPrefData)
|
|
if err != nil {
|
|
return MerkleNode{}, err
|
|
}
|
|
|
|
var result MerkleNode
|
|
copy(result[:], b)
|
|
|
|
return result, nil
|
|
}
|
|
|
|
func (r *RLN) ExtractMetadata(proof RateLimitProof) (ProofMetadata, error) {
|
|
externalNullifierRes, err := r.Poseidon(proof.Epoch[:], proof.RLNIdentifier[:])
|
|
if err != nil {
|
|
return ProofMetadata{}, fmt.Errorf("could not construct the external nullifier: %w", err)
|
|
}
|
|
|
|
return ProofMetadata{
|
|
Nullifier: proof.Nullifier,
|
|
ShareX: proof.ShareX,
|
|
ShareY: proof.ShareY,
|
|
ExternalNullifier: externalNullifierRes,
|
|
}, nil
|
|
}
|
|
|
|
// GenerateProof generates a proof for the RLN given a KeyPair and the index in a merkle tree.
|
|
// The output will containt the proof data and should be parsed as |proof<128>|root<32>|epoch<32>|share_x<32>|share_y<32>|nullifier<32>|
|
|
// integers wrapped in <> indicate value sizes in bytes
|
|
func (r *RLN) GenerateProof(data []byte, key IdentityCredential, index MembershipIndex, epoch Epoch) (*RateLimitProof, error) {
|
|
input := serialize(key.IDSecretHash, index, epoch, data)
|
|
proofBytes, err := r.w.GenerateRLNProof(input)
|
|
if err != nil {
|
|
return nil, err
|
|
}
|
|
|
|
if len(proofBytes) != 320 {
|
|
return nil, errors.New("invalid proof generated")
|
|
}
|
|
|
|
// parse the proof as [ proof<128> | root<32> | epoch<32> | share_x<32> | share_y<32> | nullifier<32> | rln_identifier<32> ]
|
|
proofOffset := 128
|
|
rootOffset := proofOffset + 32
|
|
epochOffset := rootOffset + 32
|
|
shareXOffset := epochOffset + 32
|
|
shareYOffset := shareXOffset + 32
|
|
nullifierOffset := shareYOffset + 32
|
|
rlnIdentifierOffset := nullifierOffset + 32
|
|
|
|
var zkproof ZKSNARK
|
|
var proofRoot, shareX, shareY MerkleNode
|
|
var epochR Epoch
|
|
var nullifier Nullifier
|
|
var rlnIdentifier RLNIdentifier
|
|
|
|
copy(zkproof[:], proofBytes[0:proofOffset])
|
|
copy(proofRoot[:], proofBytes[proofOffset:rootOffset])
|
|
copy(epochR[:], proofBytes[rootOffset:epochOffset])
|
|
copy(shareX[:], proofBytes[epochOffset:shareXOffset])
|
|
copy(shareY[:], proofBytes[shareXOffset:shareYOffset])
|
|
copy(nullifier[:], proofBytes[shareYOffset:nullifierOffset])
|
|
copy(rlnIdentifier[:], proofBytes[nullifierOffset:rlnIdentifierOffset])
|
|
|
|
return &RateLimitProof{
|
|
Proof: zkproof,
|
|
MerkleRoot: proofRoot,
|
|
Epoch: epochR,
|
|
ShareX: shareX,
|
|
ShareY: shareY,
|
|
Nullifier: nullifier,
|
|
RLNIdentifier: rlnIdentifier,
|
|
}, nil
|
|
}
|
|
|
|
func serialize32(roots [][32]byte) []byte {
|
|
var result []byte
|
|
for _, r := range roots {
|
|
result = append(result, r[:]...)
|
|
}
|
|
return result
|
|
}
|
|
|
|
func serializeSlice(roots [][]byte) []byte {
|
|
var result []byte
|
|
for _, r := range roots {
|
|
result = append(result, r[:]...)
|
|
}
|
|
return result
|
|
}
|
|
|
|
func serializeCommitments(commitments []IDCommitment) []byte {
|
|
// serializes a seq of IDCommitments to a byte seq
|
|
// the serialization is based on https://github.com/status-im/nwaku/blob/37bd29fbc37ce5cf636734e7dd410b1ed27b88c8/waku/v2/protocol/waku_rln_relay/rln.nim#L142
|
|
// the order of serialization is |id_commitment_len<8>|id_commitment<var>|
|
|
var result []byte
|
|
|
|
inputLen := make([]byte, 8)
|
|
binary.LittleEndian.PutUint64(inputLen, uint64(len(commitments)))
|
|
result = append(result, inputLen...)
|
|
|
|
for _, idComm := range commitments {
|
|
result = append(result, idComm[:]...)
|
|
}
|
|
|
|
return result
|
|
}
|
|
|
|
func serializeIndices(indices []MembershipIndex) []byte {
|
|
var result []byte
|
|
|
|
inputLen := make([]byte, 8)
|
|
binary.LittleEndian.PutUint64(inputLen, uint64(len(indices)))
|
|
result = append(result, inputLen...)
|
|
|
|
for _, index := range indices {
|
|
result = binary.LittleEndian.AppendUint64(result, uint64(index))
|
|
}
|
|
|
|
return result
|
|
}
|
|
|
|
// proof [ proof<128>| root<32>| epoch<32>| share_x<32>| share_y<32>| nullifier<32> | signal_len<8> | signal<var> ]
|
|
// validRoots should contain a sequence of roots in the acceptable windows.
|
|
// As default, it is set to an empty sequence of roots. This implies that the validity check for the proof's root is skipped
|
|
func (r *RLN) Verify(data []byte, proof RateLimitProof, roots ...[32]byte) (bool, error) {
|
|
proofBytes := proof.serializeWithData(data)
|
|
rootBytes := serialize32(roots)
|
|
|
|
res, err := r.w.VerifyWithRoots(proofBytes, rootBytes)
|
|
if err != nil {
|
|
return false, err
|
|
}
|
|
|
|
return bool(res), nil
|
|
}
|
|
|
|
// RecoverIDSecret returns an IDSecret having obtained before two proofs
|
|
func (r *RLN) RecoverIDSecret(proof1 RateLimitProof, proof2 RateLimitProof) (IDSecretHash, error) {
|
|
proof1Bytes := proof1.serialize()
|
|
proof2Bytes := proof2.serialize()
|
|
secret, err := r.w.RecoverIDSecret(proof1Bytes, proof2Bytes)
|
|
if err != nil {
|
|
return IDSecretHash{}, err
|
|
}
|
|
var result IDSecretHash
|
|
copy(result[:], secret)
|
|
return result, nil
|
|
}
|
|
|
|
// InsertMember adds the member to the tree
|
|
func (r *RLN) InsertMember(idComm IDCommitment) error {
|
|
insertionSuccess := r.w.SetNextLeaf(idComm[:])
|
|
if !insertionSuccess {
|
|
return errors.New("could not insert member")
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// Insert multiple members i.e., identity commitments starting from index
|
|
// This proc is atomic, i.e., if any of the insertions fails, all the previous insertions are rolled back
|
|
func (r *RLN) InsertMembers(index MembershipIndex, idComms []IDCommitment) error {
|
|
idCommBytes := serializeCommitments(idComms)
|
|
indicesBytes := serializeIndices(nil)
|
|
insertionSuccess := r.w.AtomicOperation(index, idCommBytes, indicesBytes)
|
|
if !insertionSuccess {
|
|
return errors.New("could not insert members")
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// Insert a member in the tree at specified index
|
|
func (r *RLN) InsertMemberAt(index MembershipIndex, idComm IDCommitment) error {
|
|
insertionSuccess := r.w.SetLeaf(index, idComm[:])
|
|
if !insertionSuccess {
|
|
return errors.New("could not insert member")
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// DeleteMember removes an IDCommitment key from the tree. The index
|
|
// parameter is the position of the id commitment key to be deleted from the tree.
|
|
// The deleted id commitment key is replaced with a zero leaf
|
|
func (r *RLN) DeleteMember(index MembershipIndex) error {
|
|
deletionSuccess := r.w.DeleteLeaf(index)
|
|
if !deletionSuccess {
|
|
return errors.New("could not delete member")
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// Delete multiple members
|
|
func (r *RLN) DeleteMembers(indices []MembershipIndex) error {
|
|
idCommBytes := serializeCommitments(nil)
|
|
indicesBytes := serializeIndices(indices)
|
|
insertionSuccess := r.w.AtomicOperation(0, idCommBytes, indicesBytes)
|
|
if !insertionSuccess {
|
|
return errors.New("could not insert members")
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// GetMerkleRoot reads the Merkle Tree root after insertion
|
|
func (r *RLN) GetMerkleRoot() (MerkleNode, error) {
|
|
b, err := r.w.GetRoot()
|
|
if err != nil {
|
|
return MerkleNode{}, err
|
|
}
|
|
|
|
if len(b) != 32 {
|
|
return MerkleNode{}, errors.New("wrong output size")
|
|
}
|
|
|
|
var result MerkleNode
|
|
copy(result[:], b)
|
|
|
|
return result, nil
|
|
}
|
|
|
|
// GetLeaf reads the value stored at some index in the Merkle Tree
|
|
func (r *RLN) GetLeaf(index MembershipIndex) (IDCommitment, error) {
|
|
b, err := r.w.GetLeaf(index)
|
|
if err != nil {
|
|
return IDCommitment{}, err
|
|
}
|
|
|
|
if len(b) != 32 {
|
|
return IDCommitment{}, errors.New("wrong output size")
|
|
}
|
|
|
|
var result IDCommitment
|
|
copy(result[:], b)
|
|
|
|
return result, nil
|
|
}
|
|
|
|
// AddAll adds members to the Merkle tree
|
|
func (r *RLN) AddAll(list []IDCommitment) error {
|
|
for _, member := range list {
|
|
if err := r.InsertMember(member); err != nil {
|
|
return err
|
|
}
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// CalcMerkleRoot returns the root of the Merkle tree that is computed from the supplied list
|
|
func CalcMerkleRoot(list []IDCommitment) (MerkleNode, error) {
|
|
rln, err := NewRLN()
|
|
if err != nil {
|
|
return MerkleNode{}, err
|
|
}
|
|
|
|
if err := rln.InsertMembers(0, list); err != nil {
|
|
return MerkleNode{}, err
|
|
}
|
|
|
|
return rln.GetMerkleRoot()
|
|
}
|
|
|
|
// CreateMembershipList produces a list of membership key pairs and also returns the root of a Merkle tree constructed
|
|
// out of the identity commitment keys of the generated list. The output of this function is used to initialize a static
|
|
// group keys (to test waku-rln-relay in the off-chain mode)
|
|
func CreateMembershipList(n int) ([]IdentityCredential, MerkleNode, error) {
|
|
// initialize a Merkle tree
|
|
rln, err := NewRLN()
|
|
if err != nil {
|
|
return nil, MerkleNode{}, err
|
|
}
|
|
|
|
var output []IdentityCredential
|
|
for i := 0; i < n; i++ {
|
|
// generate a keypair
|
|
keypair, err := rln.MembershipKeyGen()
|
|
if err != nil {
|
|
return nil, MerkleNode{}, err
|
|
}
|
|
|
|
output = append(output, *keypair)
|
|
|
|
// insert the key to the Merkle tree
|
|
if err := rln.InsertMember(keypair.IDCommitment); err != nil {
|
|
return nil, MerkleNode{}, err
|
|
}
|
|
}
|
|
|
|
root, err := rln.GetMerkleRoot()
|
|
if err != nil {
|
|
return nil, MerkleNode{}, err
|
|
}
|
|
|
|
return output, root, nil
|
|
}
|
|
|
|
// SetMetadata stores serialized data
|
|
func (r *RLN) SetMetadata(metadata []byte) error {
|
|
success := r.w.SetMetadata(metadata)
|
|
if !success {
|
|
return errors.New("could not set metadata")
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// GetMetadata returns the stored serialized metadata
|
|
func (r *RLN) GetMetadata() ([]byte, error) {
|
|
return r.w.GetMetadata()
|
|
}
|
|
|
|
// AtomicOperation can be used to insert and remove elements into the merkle tree
|
|
func (r *RLN) AtomicOperation(index MembershipIndex, idCommsToInsert []IDCommitment, indicesToRemove []MembershipIndex) error {
|
|
idCommBytes := serializeCommitments(idCommsToInsert)
|
|
indicesBytes := serializeIndices(indicesToRemove)
|
|
execSuccess := r.w.AtomicOperation(index, idCommBytes, indicesBytes)
|
|
if !execSuccess {
|
|
return errors.New("could not execute atomic_operation")
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// Flush
|
|
func (r *RLN) Flush() error {
|
|
success := r.w.Flush()
|
|
if !success {
|
|
return errors.New("cannot flush db")
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// LeavesSet indicates how many elements have been inserted in the merkle tree
|
|
func (r *RLN) LeavesSet() uint {
|
|
return r.w.LeavesSet()
|
|
}
|