imported from https://bitbucket.org/ustraca/crypto
This commit is contained in:
didier amyot committed
1 parent
ca20730438
commit
8a9743f08e
11 files changed
+1805
No files matched your search
+291
@@ -0,0 +1,291 @@
|
||||
package paillier
|
||||
|
||||
import (
|
||||
"crypto/rand"
|
||||
"crypto/sha256"
|
||||
"errors"
|
||||
"io"
|
||||
"math/big"
|
||||
|
||||
"bitbucket.org/ustraca/crypto"
|
||||
)
|
||||
|
||||
type ThresholdKey struct {
|
||||
PublicKey
|
||||
TotalNumberOfDecryptionServers int
|
||||
Threshold int
|
||||
V *big.Int
|
||||
Vi []*big.Int
|
||||
}
|
||||
|
||||
// returns the value of (4*delta**2)** -1 mod n
|
||||
func (this *ThresholdKey) CombineSharesConstant() *big.Int {
|
||||
tmp := new(big.Int).Mul(FOUR, new(big.Int).Mul(this.Delta(), this.Delta()))
|
||||
return (&big.Int{}).ModInverse(tmp, this.N)
|
||||
}
|
||||
|
||||
// returns the factorial of the number of TotalNumberOfDecryptionServers
|
||||
func (this *ThresholdKey) Delta() *big.Int {
|
||||
return crypto.Factorial(this.TotalNumberOfDecryptionServers)
|
||||
}
|
||||
|
||||
func (this *ThresholdKey) MakeVerificationBeforeCombiningPartialDecryptions(shares []*PartialDecryption) error {
|
||||
if len(shares) < this.Threshold {
|
||||
return errors.New("Threshold not meet")
|
||||
}
|
||||
tmp := make(map[int]bool)
|
||||
for _, share := range shares {
|
||||
tmp[share.Id] = true
|
||||
}
|
||||
if len(tmp) != len(shares) {
|
||||
return errors.New("two shares has been created by the same server")
|
||||
}
|
||||
return nil
|
||||
}
|
||||
|
||||
func (this *ThresholdKey) UpdateLambda(share1, share2 *PartialDecryption, lambda *big.Int) *big.Int {
|
||||
num := new(big.Int).Mul(lambda, big.NewInt(int64(-share2.Id)))
|
||||
denom := big.NewInt(int64(share1.Id - share2.Id))
|
||||
return new(big.Int).Div(num, denom)
|
||||
}
|
||||
|
||||
func (this *ThresholdKey) ComputeLambda(share *PartialDecryption, shares []*PartialDecryption) *big.Int {
|
||||
lambda := this.Delta()
|
||||
for _, share2 := range shares {
|
||||
if share2.Id != share.Id {
|
||||
lambda = this.UpdateLambda(share, share2, lambda)
|
||||
}
|
||||
}
|
||||
return lambda
|
||||
}
|
||||
|
||||
func (this *ThresholdKey) updateCprime(cprime, lambda *big.Int, share *PartialDecryption) *big.Int {
|
||||
twoLambda := new(big.Int).Mul(TWO, lambda)
|
||||
ret := this.exp(share.Decryption, twoLambda, this.GetNSquare())
|
||||
ret = new(big.Int).Mul(cprime, ret)
|
||||
return new(big.Int).Mod(ret, this.GetNSquare())
|
||||
}
|
||||
|
||||
func (this *ThresholdKey) divide(a, b *big.Int) *big.Int {
|
||||
if a.Cmp(ZERO) == -1 {
|
||||
if b.Cmp(ZERO) == -1 {
|
||||
return new(big.Int).Div(new(big.Int).Neg(a), new(big.Int).Neg(b))
|
||||
}
|
||||
return new(big.Int).Neg(new(big.Int).Div(new(big.Int).Neg(a), b))
|
||||
}
|
||||
return new(big.Int).Div(a, b)
|
||||
}
|
||||
|
||||
func (this *ThresholdKey) exp(a, b, c *big.Int) *big.Int {
|
||||
if b.Cmp(ZERO) == -1 {
|
||||
ret := new(big.Int).Exp(a, new(big.Int).Neg(b), c)
|
||||
return new(big.Int).ModInverse(ret, c)
|
||||
}
|
||||
return new(big.Int).Exp(a, b, c)
|
||||
|
||||
}
|
||||
|
||||
func (this *ThresholdKey) computeDecryption(cprime *big.Int) *big.Int {
|
||||
l := L(cprime, this.N)
|
||||
return new(big.Int).Mod(new(big.Int).Mul(this.CombineSharesConstant(), l), this.N)
|
||||
}
|
||||
|
||||
func (this *ThresholdKey) CombinePartialDecryptions(shares []*PartialDecryption) (*big.Int, error) {
|
||||
if err := this.MakeVerificationBeforeCombiningPartialDecryptions(shares); err != nil {
|
||||
return nil, err
|
||||
}
|
||||
|
||||
cprime := ONE
|
||||
for _, share := range shares {
|
||||
lambda := this.ComputeLambda(share, shares)
|
||||
cprime = this.updateCprime(cprime, lambda, share)
|
||||
}
|
||||
|
||||
return this.computeDecryption(cprime), nil
|
||||
}
|
||||
|
||||
func (this *ThresholdKey) CombinePartialDecryptionsZKP(shares []*PartialDecryptionZKP) (*big.Int, error) {
|
||||
ret := make([]*PartialDecryption, 0)
|
||||
for _, share := range shares {
|
||||
if share.Verify() {
|
||||
ret = append(ret, &share.PartialDecryption)
|
||||
}
|
||||
}
|
||||
return this.CombinePartialDecryptions(ret)
|
||||
}
|
||||
|
||||
// Verify if the decryption of `encryptedMessage` has well been done.
|
||||
// It verifies all the zero-knoledge proofs, the value of the decrypted
|
||||
// and decrypted message.
|
||||
// The method returns `nil` if everything is good. Otherwise it returns an
|
||||
// explicative message
|
||||
func (this *ThresholdKey) VerifyDecryption(encryptedMessage, decryptedMessage *big.Int, shares []*PartialDecryptionZKP) error {
|
||||
for _, share := range shares {
|
||||
if share.C.Cmp(encryptedMessage) != 0 {
|
||||
return errors.New("The encrypted message is not the same than the one in the shares")
|
||||
}
|
||||
}
|
||||
res, err := this.CombinePartialDecryptionsZKP(shares)
|
||||
if err != nil {
|
||||
return err
|
||||
}
|
||||
if res.Cmp(decryptedMessage) != 0 {
|
||||
return errors.New("The decrypted message is not the same than the one in the shares")
|
||||
}
|
||||
return nil
|
||||
}
|
||||
|
||||
type ThresholdPrivateKey struct {
|
||||
ThresholdKey
|
||||
Id int
|
||||
Share *big.Int
|
||||
}
|
||||
|
||||
// Decrypt the cypher text and returns the partial decryption
|
||||
func (this *ThresholdPrivateKey) Decrypt(c *big.Int) *PartialDecryption {
|
||||
ret := new(PartialDecryption)
|
||||
ret.Id = this.Id
|
||||
exp := new(big.Int).Mul(this.Share, new(big.Int).Mul(TWO, this.Delta()))
|
||||
ret.Decryption = new(big.Int).Exp(c, exp, this.GetNSquare())
|
||||
|
||||
return ret
|
||||
}
|
||||
|
||||
func (this *ThresholdPrivateKey) copyVi() []*big.Int {
|
||||
ret := make([]*big.Int, len(this.Vi))
|
||||
for i, vi := range this.Vi {
|
||||
ret[i] = new(big.Int).Add(vi, big.NewInt(0))
|
||||
}
|
||||
return ret
|
||||
}
|
||||
|
||||
func (this *ThresholdPrivateKey) GetThresholdKey() *ThresholdKey {
|
||||
ret := new(ThresholdKey)
|
||||
ret.Threshold = this.Threshold
|
||||
ret.TotalNumberOfDecryptionServers = this.TotalNumberOfDecryptionServers
|
||||
ret.V = new(big.Int).Add(this.V, big.NewInt(0))
|
||||
ret.Vi = this.copyVi()
|
||||
ret.N = new(big.Int).Add(this.N, big.NewInt(0))
|
||||
ret.G = new(big.Int).Add(this.N, big.NewInt(1))
|
||||
return ret
|
||||
}
|
||||
|
||||
func (this *ThresholdPrivateKey) ComputeZ(r, e *big.Int) *big.Int {
|
||||
tmp := new(big.Int).Mul(e, this.Delta())
|
||||
tmp = new(big.Int).Mul(tmp, this.Share)
|
||||
return new(big.Int).Add(r, tmp)
|
||||
|
||||
}
|
||||
|
||||
func (this *ThresholdPrivateKey) computeHash(a, b, c4, ci2 *big.Int) *big.Int {
|
||||
hash := sha256.New()
|
||||
hash.Write(a.Bytes())
|
||||
hash.Write(b.Bytes())
|
||||
hash.Write(c4.Bytes())
|
||||
hash.Write(ci2.Bytes())
|
||||
return new(big.Int).SetBytes(hash.Sum([]byte{}))
|
||||
|
||||
}
|
||||
|
||||
func (this *ThresholdPrivateKey) DecryptAndProduceZNP(c *big.Int, random io.Reader) (*PartialDecryptionZKP, error) {
|
||||
pd := new(PartialDecryptionZKP)
|
||||
pd.Key = this.GetThresholdKey()
|
||||
pd.C = c
|
||||
pd.Id = this.Id
|
||||
pd.Decryption = this.Decrypt(c).Decryption
|
||||
|
||||
// choose random number
|
||||
r, err := rand.Int(random, this.GetNSquare())
|
||||
if err != nil {
|
||||
return nil, err
|
||||
}
|
||||
// compute a
|
||||
c4 := new(big.Int).Exp(c, FOUR, nil)
|
||||
a := new(big.Int).Exp(c4, r, this.GetNSquare())
|
||||
|
||||
// compute b
|
||||
b := new(big.Int).Exp(this.V, r, this.GetNSquare())
|
||||
|
||||
// compute hash
|
||||
ci2 := new(big.Int).Exp(pd.Decryption, big.NewInt(2), nil)
|
||||
|
||||
pd.E = this.computeHash(a, b, c4, ci2)
|
||||
|
||||
pd.Z = this.ComputeZ(r, pd.E)
|
||||
|
||||
return pd, nil
|
||||
}
|
||||
|
||||
// Verify if the partial decryption key is well formed. If well formed,
|
||||
// the method return nil else an explicative error is returned.
|
||||
func (this *ThresholdPrivateKey) Validate(random io.Reader) error {
|
||||
m, err := rand.Int(random, this.N)
|
||||
if err != nil {
|
||||
return err
|
||||
}
|
||||
c, err := this.Encrypt(m, random)
|
||||
if err != nil {
|
||||
return err
|
||||
}
|
||||
proof, err := this.DecryptAndProduceZNP(c.C, random)
|
||||
if err != nil {
|
||||
return err
|
||||
}
|
||||
if !proof.Verify() {
|
||||
return errors.New("invalid share.")
|
||||
}
|
||||
return nil
|
||||
}
|
||||
|
||||
type PartialDecryption struct {
|
||||
Id int
|
||||
Decryption *big.Int
|
||||
}
|
||||
|
||||
type PartialDecryptionZKP struct {
|
||||
PartialDecryption
|
||||
Key *ThresholdKey // the public key used to encrypt
|
||||
E *big.Int // the challenge
|
||||
Z *big.Int // the value needed to check to verify the decryption
|
||||
C *big.Int // the input cypher text
|
||||
|
||||
}
|
||||
|
||||
func (this *PartialDecryptionZKP) verifyPart1() *big.Int {
|
||||
c4 := new(big.Int).Exp(this.C, FOUR, nil)
|
||||
decryption2 := new(big.Int).Exp(this.Decryption, TWO, nil)
|
||||
|
||||
a1 := new(big.Int).Exp(c4, this.Z, this.Key.GetNSquare())
|
||||
a2 := new(big.Int).Exp(decryption2, this.E, this.Key.GetNSquare())
|
||||
a2 = new(big.Int).ModInverse(a2, this.Key.GetNSquare())
|
||||
a := new(big.Int).Mod(new(big.Int).Mul(a1, a2), this.Key.GetNSquare())
|
||||
return a
|
||||
}
|
||||
|
||||
func (this *PartialDecryptionZKP) neg(n *big.Int) *big.Int {
|
||||
return new(big.Int).Neg(n)
|
||||
}
|
||||
|
||||
func (this *PartialDecryptionZKP) verifyPart2() *big.Int {
|
||||
vi := this.Key.Vi[this.Id-1]
|
||||
b1 := new(big.Int).Exp(this.Key.V, this.Z, this.Key.GetNSquare())
|
||||
b2 := new(big.Int).Exp(vi, this.E, this.Key.GetNSquare())
|
||||
b2 = new(big.Int).ModInverse(b2, this.Key.GetNSquare())
|
||||
b := new(big.Int).Mod(new(big.Int).Mul(b1, b2), this.Key.GetNSquare())
|
||||
return b
|
||||
}
|
||||
|
||||
func (this *PartialDecryptionZKP) Verify() bool {
|
||||
a := this.verifyPart1()
|
||||
b := this.verifyPart2()
|
||||
hash := sha256.New()
|
||||
hash.Write(a.Bytes())
|
||||
hash.Write(b.Bytes())
|
||||
c4 := new(big.Int).Exp(this.C, FOUR, nil)
|
||||
hash.Write(c4.Bytes())
|
||||
ci2 := new(big.Int).Exp(this.Decryption, TWO, nil)
|
||||
hash.Write(ci2.Bytes())
|
||||
|
||||
expectedE := new(big.Int).SetBytes(hash.Sum([]byte{}))
|
||||
return this.E.Cmp(expectedE) == 0
|
||||
}
|
||||
Reference in new issue
Block a user