mirror of
https://github.com/onsonr/sonr.git
synced 2025-03-10 13:07:09 +00:00
Prad Nukala
807b2e86ec
* feat: add docs and CI workflow for publishing to onsonr.dev * (refactor): Move hway,motr executables to their own repos * feat: simplify devnet and testnet configurations * refactor: update import path for didcrypto package * docs(networks): Add README with project overview, architecture, and community links * refactor: Move network configurations to deploy directory * build: update golang version to 1.23 * refactor: move logger interface to appropriate package * refactor: Move devnet configuration to networks/devnet * chore: improve release process with date variable * (chore): Move Crypto Library * refactor: improve code structure and readability in DID module * feat: integrate Trunk CI checks * ci: optimize CI workflow by removing redundant build jobs --------- Co-authored-by: Darp Alakun <i@prad.nu>
302 lines
8.6 KiB
Go
Executable File
302 lines
8.6 KiB
Go
Executable File
//
|
|
// Copyright Coinbase, Inc. All Rights Reserved.
|
|
//
|
|
// SPDX-License-Identifier: Apache-2.0
|
|
//
|
|
|
|
package curves
|
|
|
|
import (
|
|
"encoding/json"
|
|
"errors"
|
|
"fmt"
|
|
"math/big"
|
|
"testing"
|
|
|
|
"github.com/stretchr/testify/require"
|
|
)
|
|
|
|
var (
|
|
one = big.NewInt(1)
|
|
modulus, modulusOk = new(big.Int).SetString(
|
|
"1000000000000000000000000000000014DEF9DEA2F79CD65812631A5CF5D3ED",
|
|
16,
|
|
)
|
|
oneBelowModulus = zero().Sub(modulus, one)
|
|
oneAboveModulus = zero().Add(modulus, one)
|
|
field25519 = NewField(modulus)
|
|
)
|
|
|
|
type buggedReader struct{}
|
|
|
|
func (r buggedReader) Read(p []byte) (n int, err error) {
|
|
return 0, errors.New("EOF")
|
|
}
|
|
|
|
func zero() *big.Int {
|
|
return new(big.Int)
|
|
}
|
|
|
|
func assertElementZero(t *testing.T, e *Element) {
|
|
require.Equal(t, zero().Bytes(), e.Bytes())
|
|
}
|
|
|
|
type binaryOperation func(*Element) *Element
|
|
|
|
func assertUnequalFieldsPanic(t *testing.T, b binaryOperation) {
|
|
altField := NewField(big.NewInt(23))
|
|
altElement := altField.NewElement(one)
|
|
|
|
require.PanicsWithValue(
|
|
t,
|
|
"fields must match for valid binary operation",
|
|
func() { b(altElement) },
|
|
)
|
|
}
|
|
|
|
func TestFieldModulus(t *testing.T) {
|
|
require.True(t, modulusOk)
|
|
}
|
|
|
|
func TestNewField(t *testing.T) {
|
|
require.PanicsWithValue(
|
|
t,
|
|
fmt.Sprintf("modulus: %x is not a prime", oneBelowModulus),
|
|
func() { NewField(oneBelowModulus) },
|
|
)
|
|
require.NotPanics(
|
|
t,
|
|
func() { NewField(modulus) },
|
|
)
|
|
}
|
|
|
|
func TestNewElement(t *testing.T) {
|
|
require.PanicsWithValue(
|
|
t,
|
|
fmt.Sprintf("value: %x is not within field: %x", modulus, field25519.Int),
|
|
func() { newElement(field25519, modulus) },
|
|
)
|
|
require.NotPanics(
|
|
t,
|
|
func() { newElement(field25519, oneBelowModulus) },
|
|
)
|
|
}
|
|
|
|
func TestElementIsValid(t *testing.T) {
|
|
require.False(t, field25519.IsValid(zero().Neg(one)))
|
|
require.False(t, field25519.IsValid(modulus))
|
|
require.False(t, field25519.IsValid(oneAboveModulus))
|
|
require.True(t, field25519.IsValid(oneBelowModulus))
|
|
}
|
|
|
|
func TestFieldNewElement(t *testing.T) {
|
|
element := field25519.NewElement(oneBelowModulus)
|
|
|
|
require.Equal(t, oneBelowModulus, element.Value)
|
|
require.Equal(t, field25519, element.Field())
|
|
}
|
|
|
|
func TestZeroElement(t *testing.T) {
|
|
require.Equal(t, zero(), field25519.Zero().Value)
|
|
require.Equal(t, field25519, field25519.Zero().Field())
|
|
}
|
|
|
|
func TestOneElement(t *testing.T) {
|
|
require.Equal(t, field25519.One().Value, one)
|
|
require.Equal(t, field25519.One().Field(), field25519)
|
|
}
|
|
|
|
func TestRandomElement(t *testing.T) {
|
|
randomElement1, err := field25519.RandomElement(nil)
|
|
require.NoError(t, err)
|
|
randomElement2, err := field25519.RandomElement(nil)
|
|
require.NoError(t, err)
|
|
randomElement3, err := field25519.RandomElement(new(buggedReader))
|
|
require.Error(t, err)
|
|
|
|
require.Equal(t, field25519, randomElement1.Field())
|
|
require.Equal(t, field25519, randomElement2.Field())
|
|
require.NotEqual(t, randomElement1.Value, randomElement2.Value)
|
|
require.Nil(t, randomElement3)
|
|
}
|
|
|
|
func TestElementFromBytes(t *testing.T) {
|
|
element := field25519.ElementFromBytes(oneBelowModulus.Bytes())
|
|
|
|
require.Equal(t, field25519, element.Field())
|
|
require.Equal(t, oneBelowModulus, element.Value)
|
|
}
|
|
|
|
func TestReducedElementFromBytes(t *testing.T) {
|
|
element := field25519.ReducedElementFromBytes(oneBelowModulus.Bytes())
|
|
|
|
require.Equal(t, field25519, element.Field())
|
|
require.Equal(t, oneBelowModulus, element.Value)
|
|
|
|
element = field25519.ReducedElementFromBytes(oneAboveModulus.Bytes())
|
|
|
|
require.Equal(t, field25519, element.Field())
|
|
require.Equal(t, one, element.Value)
|
|
}
|
|
|
|
func TestAddElement(t *testing.T) {
|
|
element1 := field25519.NewElement(one)
|
|
element2 := field25519.NewElement(big.NewInt(2))
|
|
element3 := field25519.NewElement(oneBelowModulus)
|
|
element4 := &Element{field25519, modulus}
|
|
|
|
require.Equal(t, element2, element1.Add(element1))
|
|
require.Equal(t, big.NewInt(3), element1.Add(element2).Value)
|
|
require.Equal(t, big.NewInt(3), element2.Add(element1).Value)
|
|
require.Equal(t, one, element1.Add(element4).Value)
|
|
require.Equal(t, one, element3.Add(element2).Value)
|
|
assertElementZero(t, element1.Add(element3))
|
|
assertUnequalFieldsPanic(t, element1.Add)
|
|
}
|
|
|
|
func TestSubElement(t *testing.T) {
|
|
element1 := field25519.NewElement(one)
|
|
element2 := field25519.NewElement(big.NewInt(2))
|
|
element3 := field25519.NewElement(oneBelowModulus)
|
|
element4 := &Element{field25519, modulus}
|
|
|
|
assertElementZero(t, element1.Sub(element1))
|
|
require.Equal(t, element3, element1.Sub(element2))
|
|
require.Equal(t, element1, element2.Sub(element1))
|
|
require.Equal(t, element1, element1.Sub(element4))
|
|
require.Equal(t, element3, element4.Sub(element1))
|
|
require.Equal(t, element1, element4.Sub(element3))
|
|
require.Equal(t, element3, element3.Sub(element4))
|
|
assertUnequalFieldsPanic(t, element1.Sub)
|
|
}
|
|
|
|
func TestMulElement(t *testing.T) {
|
|
element1 := field25519.NewElement(one)
|
|
element2 := field25519.NewElement(big.NewInt(2))
|
|
element3 := field25519.NewElement(oneBelowModulus)
|
|
element4 := field25519.NewElement(zero())
|
|
expectedProduct, ok := new(big.Int).SetString(
|
|
"1000000000000000000000000000000014def9dea2f79cd65812631a5cf5d3eb",
|
|
16,
|
|
)
|
|
require.True(t, ok)
|
|
|
|
assertElementZero(t, element1.Mul(element4))
|
|
assertElementZero(t, element4.Mul(element1))
|
|
require.Equal(t, element3, element1.Mul(element3))
|
|
require.Equal(t, element3, element3.Mul(element1))
|
|
require.Equal(t, expectedProduct, element3.Mul(element2).Value)
|
|
require.Equal(t, expectedProduct, element2.Mul(element3).Value)
|
|
assertUnequalFieldsPanic(t, element1.Mul)
|
|
}
|
|
|
|
func TestDivElement(t *testing.T) {
|
|
element1 := field25519.NewElement(one)
|
|
element2 := field25519.NewElement(big.NewInt(2))
|
|
element3 := field25519.NewElement(oneBelowModulus)
|
|
element4 := field25519.NewElement(zero())
|
|
expectedQuotient1, ok := new(big.Int).SetString(
|
|
"80000000000000000000000000000000a6f7cef517bce6b2c09318d2e7ae9f6",
|
|
16,
|
|
)
|
|
require.True(t, ok)
|
|
expectedQuotient2, ok := new(big.Int).SetString(
|
|
"1000000000000000000000000000000014def9dea2f79cd65812631a5cf5d3eb",
|
|
16,
|
|
)
|
|
require.True(t, ok)
|
|
|
|
assertElementZero(t, element4.Div(element3))
|
|
require.Equal(t, element3, element3.Div(element1))
|
|
require.Equal(t, expectedQuotient1, element3.Div(element2).Value)
|
|
require.Equal(t, expectedQuotient2, element2.Div(element3).Value)
|
|
require.Panics(t, func() { element3.Div(element4) })
|
|
assertUnequalFieldsPanic(t, element1.Div)
|
|
}
|
|
|
|
func TestIsEqualElement(t *testing.T) {
|
|
element1 := field25519.NewElement(oneBelowModulus)
|
|
element2 := field25519.NewElement(big.NewInt(23))
|
|
element3 := field25519.NewElement(oneBelowModulus)
|
|
altField := NewField(big.NewInt(23))
|
|
altElement1 := altField.NewElement(one)
|
|
|
|
require.False(t, element1.IsEqual(element2))
|
|
require.True(t, element1.IsEqual(element3))
|
|
require.True(t, element1.IsEqual(element1))
|
|
require.False(t, element1.IsEqual(altElement1))
|
|
}
|
|
|
|
func TestBigIntElement(t *testing.T) {
|
|
element := field25519.NewElement(oneBelowModulus)
|
|
|
|
require.Equal(t, oneBelowModulus, element.BigInt())
|
|
}
|
|
|
|
func TestBytesElement(t *testing.T) {
|
|
element := field25519.NewElement(oneBelowModulus)
|
|
|
|
require.Equal(
|
|
t,
|
|
[]byte{
|
|
0x10, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0,
|
|
0x0, 0x0, 0x0, 0x0, 0x0, 0x14, 0xde, 0xf9, 0xde, 0xa2,
|
|
0xf7, 0x9c, 0xd6, 0x58, 0x12, 0x63, 0x1a, 0x5c, 0xf5,
|
|
0xd3, 0xec,
|
|
},
|
|
element.Bytes(),
|
|
)
|
|
}
|
|
|
|
func TestCloneElement(t *testing.T) {
|
|
element := field25519.NewElement(oneBelowModulus)
|
|
clone := element.Clone()
|
|
|
|
require.Equal(t, clone, element)
|
|
|
|
clone.Value.Add(one, one)
|
|
|
|
require.NotEqual(t, clone, element)
|
|
}
|
|
|
|
// Tests un/marshaling Element
|
|
func TestElementMarshalJsonRoundTrip(t *testing.T) {
|
|
reallyBigInt1, ok := new(big.Int).SetString("12365234878725472538962348629568356835892346729834725643857832", 10)
|
|
require.True(t, ok)
|
|
|
|
reallyBigInt2, ok := new(big.Int).SetString("123652348787DEF9DEA2F79CD65812631A5CF5D3ED46729834725643857832", 16)
|
|
require.True(t, ok)
|
|
|
|
ins := []*Element{
|
|
newElement(field25519, big.NewInt(300)),
|
|
newElement(field25519, big.NewInt(300000)),
|
|
newElement(field25519, big.NewInt(12812798)),
|
|
newElement(field25519, big.NewInt(17)),
|
|
newElement(field25519, big.NewInt(5066680)),
|
|
newElement(field25519, big.NewInt(3005)),
|
|
newElement(field25519, big.NewInt(317)),
|
|
newElement(field25519, big.NewInt(323)),
|
|
newElement(field25519, reallyBigInt1),
|
|
newElement(field25519, reallyBigInt2),
|
|
newElement(field25519, oneBelowModulus),
|
|
}
|
|
|
|
// Run all the tests!
|
|
for _, in := range ins {
|
|
bytes, err := json.Marshal(in)
|
|
require.NoError(t, err)
|
|
require.NotNil(t, bytes)
|
|
|
|
// Unmarshal and test
|
|
out := &Element{}
|
|
err = json.Unmarshal(bytes, &out)
|
|
require.NoError(t, err)
|
|
require.NotNil(t, out)
|
|
require.NotNil(t, out.Modulus)
|
|
require.NotNil(t, out.Value)
|
|
|
|
require.Equal(t, in.Modulus.Bytes(), out.Modulus.Bytes())
|
|
require.Equal(t, in.Value.Bytes(), out.Value.Bytes())
|
|
}
|
|
}
|