INNER CODE UNIT · Go

gamma

taurushq-io/multi-party-sig · internal/mta/mta_test.go:51

		gamma := gammaI.Add(gammaI, gammaJ, -1)
		gammaS := group.NewScalar().SetNat(gamma.Mod(group.Order()))
		assert.Equal(t, c, gammaS, "a•b should be equal to α + β")
	}

	{
		Ai, Aj := aiScalar.ActOnBase(), ajScalar.ActOnBase()
		betaI, Di, Fi, proofI := ProveAffG(group, hash.New(), ai, Ai, Bj, ski, paillierJ, zk.Pedersen)
		betaJ, Dj, Fj, proofJ := ProveAffG(group, hash.New(), aj, Aj, Bi, skj, paillierI, zk.Pedersen)

		assert.True(t, proofI.Verify(hash.New(), zkaffg.Public{
			Kv:       Bj,
			Dv:       Di,
			Fp:       Fi,
			Xp:       Ai,
			Prover:   paillierI,
			Verifier: paillierJ,
			Aux:      zk.Pedersen,

View source record →