2018-12-29 13:04:17 +00:00
|
|
|
package tz
|
|
|
|
|
|
|
|
import (
|
|
|
|
"errors"
|
|
|
|
|
|
|
|
"github.com/nspcc-dev/tzhash/gf127"
|
2019-10-15 09:10:39 +00:00
|
|
|
"github.com/nspcc-dev/tzhash/gf127/avx"
|
2018-12-29 13:04:17 +00:00
|
|
|
)
|
|
|
|
|
2019-10-15 09:20:36 +00:00
|
|
|
type (
|
|
|
|
GF127 = gf127.GF127
|
|
|
|
|
|
|
|
sl2 [2][2]GF127
|
|
|
|
)
|
2018-12-29 13:04:17 +00:00
|
|
|
|
|
|
|
var id = sl2{
|
2019-10-15 09:20:36 +00:00
|
|
|
{GF127{1, 0}, GF127{0, 0}},
|
|
|
|
{GF127{0, 0}, GF127{1, 0}},
|
2018-12-29 13:04:17 +00:00
|
|
|
}
|
|
|
|
|
2019-10-15 09:20:36 +00:00
|
|
|
var mul func(a, b, c *sl2, x *[4]GF127)
|
2019-10-09 08:37:22 +00:00
|
|
|
|
|
|
|
func init() {
|
|
|
|
if hasAVX {
|
|
|
|
mul = mulSL2AVX
|
|
|
|
} else {
|
|
|
|
mul = mulSL2Pure
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-12-29 13:04:17 +00:00
|
|
|
func (c *sl2) MarshalBinary() (data []byte, err error) {
|
|
|
|
s := c.ByteArray()
|
|
|
|
return s[:], nil
|
|
|
|
}
|
|
|
|
|
|
|
|
func (c *sl2) UnmarshalBinary(data []byte) (err error) {
|
|
|
|
if len(data) != 64 {
|
|
|
|
return errors.New("data must be 64-bytes long")
|
|
|
|
}
|
|
|
|
|
|
|
|
if err = c[0][0].UnmarshalBinary(data[:16]); err != nil {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
if err = c[0][1].UnmarshalBinary(data[16:32]); err != nil {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
if err = c[1][0].UnmarshalBinary(data[32:48]); err != nil {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
if err = c[1][1].UnmarshalBinary(data[48:64]); err != nil {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
2019-10-15 09:20:36 +00:00
|
|
|
func (c *sl2) mulStrassen(a, b *sl2, x *[8]GF127) *sl2 {
|
2018-12-29 13:04:17 +00:00
|
|
|
// strassen algorithm
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Add(&a[0][0], &a[1][1], &x[0])
|
|
|
|
avx.Add(&b[0][0], &b[1][1], &x[1])
|
|
|
|
avx.Mul(&x[0], &x[1], &x[0])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Add(&a[1][0], &a[1][1], &x[1])
|
|
|
|
avx.Mul(&x[1], &b[0][0], &x[1])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Add(&b[0][1], &b[1][1], &x[2])
|
|
|
|
avx.Mul(&x[2], &a[0][0], &x[2])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Add(&b[1][0], &b[0][0], &x[3])
|
|
|
|
avx.Mul(&x[3], &a[1][1], &x[3])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Add(&a[0][0], &a[0][1], &x[4])
|
|
|
|
avx.Mul(&x[4], &b[1][1], &x[4])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Add(&a[1][0], &a[0][0], &x[5])
|
|
|
|
avx.Add(&b[0][0], &b[0][1], &x[6])
|
|
|
|
avx.Mul(&x[5], &x[6], &x[5])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Add(&a[0][1], &a[1][1], &x[6])
|
|
|
|
avx.Add(&b[1][0], &b[1][1], &x[7])
|
|
|
|
avx.Mul(&x[6], &x[7], &x[6])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Add(&x[2], &x[4], &c[0][1])
|
|
|
|
avx.Add(&x[1], &x[3], &c[1][0])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Add(&x[4], &x[6], &x[4])
|
|
|
|
avx.Add(&x[0], &x[3], &c[0][0])
|
|
|
|
avx.Add(&c[0][0], &x[4], &c[0][0])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Add(&x[0], &x[1], &x[0])
|
|
|
|
avx.Add(&x[2], &x[5], &c[1][1])
|
|
|
|
avx.Add(&c[1][1], &x[0], &c[1][1])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
|
|
|
return c
|
|
|
|
}
|
|
|
|
|
2019-10-15 09:20:36 +00:00
|
|
|
func mulSL2AVX(a, b, c *sl2, x *[4]GF127) {
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Mul(&a[0][0], &b[0][0], &x[0])
|
|
|
|
avx.Mul(&a[0][0], &b[0][1], &x[1])
|
|
|
|
avx.Mul(&a[1][0], &b[0][0], &x[2])
|
|
|
|
avx.Mul(&a[1][0], &b[0][1], &x[3])
|
|
|
|
|
|
|
|
avx.Mul(&a[0][1], &b[1][0], &c[0][0])
|
|
|
|
avx.Add(&c[0][0], &x[0], &c[0][0])
|
|
|
|
avx.Mul(&a[0][1], &b[1][1], &c[0][1])
|
|
|
|
avx.Add(&c[0][1], &x[1], &c[0][1])
|
|
|
|
avx.Mul(&a[1][1], &b[1][0], &c[1][0])
|
|
|
|
avx.Add(&c[1][0], &x[2], &c[1][0])
|
|
|
|
avx.Mul(&a[1][1], &b[1][1], &c[1][1])
|
|
|
|
avx.Add(&c[1][1], &x[3], &c[1][1])
|
2019-10-09 08:37:22 +00:00
|
|
|
}
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:20:36 +00:00
|
|
|
func mulSL2Pure(a, b, c *sl2, x *[4]GF127) {
|
|
|
|
gf127.Mul((*GF127)(&a[0][0]), (*GF127)(&b[0][0]), (*GF127)(&x[0]))
|
|
|
|
gf127.Mul((*GF127)(&a[0][0]), (*GF127)(&b[0][1]), (*GF127)(&x[1]))
|
|
|
|
gf127.Mul((*GF127)(&a[1][0]), (*GF127)(&b[0][0]), (*GF127)(&x[2]))
|
|
|
|
gf127.Mul((*GF127)(&a[1][0]), (*GF127)(&b[0][1]), (*GF127)(&x[3]))
|
|
|
|
|
|
|
|
gf127.Mul((*GF127)(&a[0][1]), (*GF127)(&b[1][0]), (*GF127)(&c[0][0]))
|
|
|
|
gf127.Add((*GF127)(&c[0][0]), (*GF127)(&x[0]), (*GF127)(&c[0][0]))
|
|
|
|
gf127.Mul((*GF127)(&a[0][1]), (*GF127)(&b[1][1]), (*GF127)(&c[0][1]))
|
|
|
|
gf127.Add((*GF127)(&c[0][1]), (*GF127)(&x[1]), (*GF127)(&c[0][1]))
|
|
|
|
gf127.Mul((*GF127)(&a[1][1]), (*GF127)(&b[1][0]), (*GF127)(&c[1][0]))
|
|
|
|
gf127.Add((*GF127)(&c[1][0]), (*GF127)(&x[2]), (*GF127)(&c[1][0]))
|
|
|
|
gf127.Mul((*GF127)(&a[1][1]), (*GF127)(&b[1][1]), (*GF127)(&c[1][1]))
|
|
|
|
gf127.Add((*GF127)(&c[1][1]), (*GF127)(&x[3]), (*GF127)(&c[1][1]))
|
2018-12-29 13:04:17 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
func (c *sl2) MulA() *sl2 {
|
2019-10-15 09:20:36 +00:00
|
|
|
var a GF127
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Mul10(&c[0][0], &a)
|
2019-10-15 09:25:15 +00:00
|
|
|
gf127.Mul1(&c[0][0], &c[0][1])
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Add(&a, &c[0][1], &c[0][0])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Mul10(&c[1][0], &a)
|
2019-10-15 09:25:15 +00:00
|
|
|
gf127.Mul1(&c[1][0], &c[1][1])
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Add(&a, &c[1][1], &c[1][0])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
|
|
|
return c
|
|
|
|
}
|
|
|
|
|
|
|
|
func (c *sl2) MulB() *sl2 {
|
2019-10-15 09:20:36 +00:00
|
|
|
var a GF127
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:25:15 +00:00
|
|
|
gf127.Mul1(&c[0][0], &a)
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Mul10(&c[0][0], &c[0][0])
|
|
|
|
avx.Add(&c[0][1], &c[0][0], &c[0][0])
|
|
|
|
avx.Add(&c[0][0], &a, &c[0][1])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
2019-10-15 09:25:15 +00:00
|
|
|
gf127.Mul1(&c[1][0], &a)
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Mul10(&c[1][0], &c[1][0])
|
|
|
|
avx.Add(&c[1][1], &c[1][0], &c[1][0])
|
|
|
|
avx.Add(&c[1][0], &a, &c[1][1])
|
2018-12-29 13:04:17 +00:00
|
|
|
|
|
|
|
return c
|
|
|
|
}
|
|
|
|
|
|
|
|
func (c *sl2) Mul(a, b *sl2) *sl2 {
|
2019-10-15 09:20:36 +00:00
|
|
|
mul(a, b, c, new([4]GF127))
|
2019-10-09 08:37:22 +00:00
|
|
|
return c
|
2018-12-29 13:04:17 +00:00
|
|
|
}
|
|
|
|
|
2019-01-29 13:11:48 +00:00
|
|
|
// Inv returns inverse of a in GL_2(GF(2^127))
|
|
|
|
func Inv(a *sl2) (b *sl2) {
|
|
|
|
b = new(sl2)
|
2019-10-15 09:20:36 +00:00
|
|
|
inv(a, b, new([2]GF127))
|
2019-01-29 13:11:48 +00:00
|
|
|
return
|
|
|
|
}
|
|
|
|
|
2019-10-15 09:20:36 +00:00
|
|
|
func inv(a, b *sl2, t *[2]GF127) {
|
2019-10-15 09:10:39 +00:00
|
|
|
avx.Mul(&a[0][0], &a[1][1], &t[0])
|
|
|
|
avx.Mul(&a[0][1], &a[1][0], &t[1])
|
|
|
|
avx.Add(&t[0], &t[1], &t[0])
|
2019-10-15 09:25:15 +00:00
|
|
|
gf127.Inv(&t[0], &t[1])
|
2019-10-15 09:10:39 +00:00
|
|
|
|
|
|
|
avx.Mul(&t[1], &a[0][0], &b[1][1])
|
|
|
|
avx.Mul(&t[1], &a[0][1], &b[0][1])
|
|
|
|
avx.Mul(&t[1], &a[1][0], &b[1][0])
|
|
|
|
avx.Mul(&t[1], &a[1][1], &b[0][0])
|
2019-01-29 13:11:48 +00:00
|
|
|
}
|
|
|
|
|
2018-12-29 13:04:17 +00:00
|
|
|
func (c *sl2) String() string {
|
|
|
|
return c[0][0].String() + c[0][1].String() +
|
|
|
|
c[1][0].String() + c[1][1].String()
|
|
|
|
}
|
|
|
|
|
|
|
|
func (c *sl2) ByteArray() (b [hashSize]byte) {
|
|
|
|
t := c[0][0].ByteArray()
|
|
|
|
copy(b[:], t)
|
|
|
|
|
|
|
|
t = c[0][1].ByteArray()
|
|
|
|
copy(b[16:], t)
|
|
|
|
|
|
|
|
t = c[1][0].ByteArray()
|
|
|
|
copy(b[32:], t)
|
|
|
|
|
|
|
|
t = c[1][1].ByteArray()
|
|
|
|
copy(b[48:], t)
|
|
|
|
|
|
|
|
return
|
|
|
|
}
|