mirror of
https://github.com/onsonr/sonr.git
synced 2025-03-10 21:09:11 +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>
123 lines
4.0 KiB
Go
Executable File
123 lines
4.0 KiB
Go
Executable File
//
|
|
// Copyright Coinbase, Inc. All Rights Reserved.
|
|
//
|
|
// SPDX-License-Identifier: Apache-2.0
|
|
//
|
|
|
|
package mina
|
|
|
|
import (
|
|
"encoding/hex"
|
|
"testing"
|
|
|
|
"github.com/stretchr/testify/require"
|
|
|
|
"github.com/onsonr/sonr/crypto/core/curves/native/pasta/fp"
|
|
"github.com/onsonr/sonr/crypto/core/curves/native/pasta/fq"
|
|
)
|
|
|
|
func TestPoseidonHash(t *testing.T) {
|
|
// Reference https://github.com/o1-labs/proof-systems/blob/master/oracle/tests/test_vectors/3w.json
|
|
testVectors := []struct {
|
|
input []*fp.Fp
|
|
output *fq.Fq
|
|
}{
|
|
{
|
|
input: []*fp.Fp{},
|
|
output: hexToFq("1b3251b6912d82edc78bbb0a5c88f0c6fde1781bc3e654123fa6862a4c63e617"),
|
|
},
|
|
{
|
|
input: []*fp.Fp{
|
|
hexToFp("df698e389c6f1987ffe186d806f8163738f5bf22e8be02572cce99dc6a4ab030"),
|
|
},
|
|
output: hexToFq("f9b1b6c5f8c98017c6b35ac74bc689b6533d6dbbee1fd868831b637a43ea720c"),
|
|
},
|
|
{
|
|
input: []*fp.Fp{
|
|
hexToFp("56b648a5a85619814900a6b40375676803fe16fb1ad2d1fb79115eb1b52ac026"),
|
|
hexToFp("f26a8a03d9c9bbd9c6b2a1324d2a3f4d894bafe25a7e4ad1a498705f4026ff2f"),
|
|
},
|
|
output: hexToFq("7a556e93bcfbd27b55867f533cd1df293a7def60dd929a086fdd4e70393b0918"),
|
|
},
|
|
{
|
|
input: []*fp.Fp{
|
|
hexToFp("075c41fa23e4690694df5ded43624fd60ab7ee6ec6dd48f44dc71bc206cecb26"),
|
|
hexToFp("a4e2beebb09bd02ad42bbccc11051e8262b6ef50445d8382b253e91ab1557a0d"),
|
|
hexToFp("7dfc23a1242d9c0d6eb16e924cfba342bb2fccf36b8cbaf296851f2e6c469639"),
|
|
},
|
|
output: hexToFq("f94b39a919aab06f43f4a4b5a3e965b719a4dbd2b9cd26d2bba4197b10286b35"),
|
|
},
|
|
{
|
|
input: []*fp.Fp{
|
|
hexToFp("a1a659b14e80d47318c6fcdbbd388de4272d5c2815eb458cf4f196d52403b639"),
|
|
hexToFp("5e33065d1801131b64d13038ff9693a7ef6283f24ec8c19438d112ff59d50f04"),
|
|
hexToFp("38a8f4d0a9b6d0facdc4e825f6a2ba2b85401d5de119bf9f2bcb908235683e06"),
|
|
hexToFp("3456d0313a30d7ccb23bd71ed6aa70ab234dad683d8187b677aef73f42f4f52e"),
|
|
},
|
|
output: hexToFq("cc1ccfa964fd6ef9ff1994beb53cfce9ebe1212847ce30e4c64f0777875aec34"),
|
|
},
|
|
{
|
|
input: []*fp.Fp{
|
|
hexToFp("bccfee48dc76bb991c97bd531cf489f4ee37a66a15f5cfac31bdd4f159d4a905"),
|
|
hexToFp("2d106fb21a262f85fd400a995c6d74bad48d8adab2554046871c215e585b072b"),
|
|
hexToFp("8300e93ee8587956534d0756bb2aa575e5878c670cff5c8e3e55c62632333c06"),
|
|
hexToFp("879c32da31566f6d16afdefff94cba5260fec1057e97f19fc9a61dc2c54a6417"),
|
|
hexToFp("9c0aa6e5501cfb2d08aeaea5b3cddac2c9bee85d13324118b44bafb63a59611e"),
|
|
},
|
|
output: hexToFq("cf7b9c2128f0e2c0fed4e1eca8d5954b629640c2458d24ba238c1bd3ccbc8e12"),
|
|
},
|
|
}
|
|
for _, tv := range testVectors {
|
|
ctx := new(Context).Init(ThreeW, NetworkType(NullNet))
|
|
ctx.Update(tv.input)
|
|
res := ctx.Digest()
|
|
require.True(t, res.Equal(tv.output))
|
|
}
|
|
testVectors = []struct {
|
|
input []*fp.Fp
|
|
output *fq.Fq
|
|
}{
|
|
{
|
|
input: []*fp.Fp{
|
|
hexToFp("0f48c65bd25f85f3e4ea4efebeb75b797bd743603be04b4ead845698b76bd331"),
|
|
hexToFp("0f48c65bd25f85f3e4ea4efebeb75b797bd743603be04b4ead845698b76bd331"),
|
|
hexToFp("f34b505e1a05ecfb327d8d664ff6272ddf5cc1f69618bb6a4407e9533067e703"),
|
|
hexToFp("0f48c65bd25f85f3e4ea4efebeb75b797bd743603be04b4ead845698b76bd331"),
|
|
hexToFp("ac7cb9c568955737eca56f855954f394cc6b05ac9b698ba3d974f029177cb427"),
|
|
hexToFp("010141eca06991fe68dcbd799d93037522dc6c4dead1d77202e8c2ea8f5b1005"),
|
|
hexToFp("0300000000000000010000000000000090010000204e0000021ce8d0d2e64012"),
|
|
hexToFp("9b030903692b6b7b030000000000000000000000000000000000800100000000"),
|
|
hexToFp("000000a800000000000000000000000000000000000000000000000000000000"),
|
|
},
|
|
output: &fq.Fq{
|
|
1348483115953159504,
|
|
14115862092770957043,
|
|
15858311826851986539,
|
|
1644043871107534594,
|
|
},
|
|
},
|
|
}
|
|
for _, tv := range testVectors {
|
|
ctx := new(Context).Init(ThreeW, NetworkType(MainNet))
|
|
ctx.Update(tv.input)
|
|
res := ctx.Digest()
|
|
require.True(t, res.Equal(tv.output))
|
|
}
|
|
}
|
|
|
|
func hexToFp(s string) *fp.Fp {
|
|
var buffer [32]byte
|
|
input, _ := hex.DecodeString(s)
|
|
copy(buffer[:], input)
|
|
f, _ := new(fp.Fp).SetBytes(&buffer)
|
|
return f
|
|
}
|
|
|
|
func hexToFq(s string) *fq.Fq {
|
|
var buffer [32]byte
|
|
input, _ := hex.DecodeString(s)
|
|
copy(buffer[:], input)
|
|
f, _ := new(fq.Fq).SetBytes(&buffer)
|
|
return f
|
|
}
|