mirror of
https://github.com/onsonr/sonr.git
synced 2025-03-10 13:07:09 +00:00
Prad Nukala
31bcc21c35
- **refactor: remove unused auth components** - **refactor: improve devbox configuration and deployment process** - **refactor: improve devnet and testnet setup** - **fix: update templ version to v0.2.778** - **refactor: rename pkl/net.matrix to pkl/matrix.net** - **refactor: migrate webapp components to nebula** - **refactor: protobuf types** - **chore: update dependencies for improved security and stability** - **feat: implement landing page and vault gateway servers** - **refactor: Migrate data models to new module structure and update related files** - **feature/1121-implement-ucan-validation** - **refactor: Replace hardcoded constants with model types in attns.go** - **feature/1121-implement-ucan-validation** - **chore: add origin Host struct and update main function to handle multiple hosts** - **build: remove unused static files from dwn module** - **build: remove unused static files from dwn module** - **refactor: Move DWN models to common package** - **refactor: move models to pkg/common** - **refactor: move vault web app assets to embed module** - **refactor: update session middleware import path** - **chore: configure port labels and auto-forwarding behavior** - **feat: enhance devcontainer configuration** - **feat: Add UCAN middleware for Echo with flexible token validation** - **feat: add JWT middleware for UCAN authentication** - **refactor: update package URI and versioning in PklProject files** - **fix: correct sonr.pkl import path** - **refactor: move JWT related code to auth package** - **feat: introduce vault configuration retrieval and management** - **refactor: Move vault components to gateway module and update file paths** - **refactor: remove Dexie and SQLite database implementations** - **feat: enhance frontend with PWA features and WASM integration** - **feat: add Devbox features and streamline Dockerfile** - **chore: update dependencies to include TigerBeetle** - **chore(deps): update go version to 1.23** - **feat: enhance devnet setup with PATH environment variable and updated PWA manifest** - **fix: upgrade tigerbeetle-go dependency and remove indirect dependency** - **feat: add PostgreSQL support to devnet and testnet deployments** - **refactor: rename keyshare cookie to token cookie** - **feat: upgrade Go version to 1.23.3 and update dependencies** - **refactor: update devnet and testnet configurations** - **feat: add IPFS configuration for devnet** - **I'll help you update the ipfs.config.pkl to include all the peers from the shell script. Here's the updated configuration:** - **refactor: move mpc package to crypto directory** - **feat: add BIP32 support for various cryptocurrencies** - **feat: enhance ATN.pkl with additional capabilities** - **refactor: simplify smart account and vault attenuation creation** - **feat: add new capabilities to the Attenuation type** - **refactor: Rename MPC files for clarity and consistency** - **feat: add DIDKey support for cryptographic operations** - **feat: add devnet and testnet deployment configurations** - **fix: correct key derivation in bip32 package** - **refactor: rename crypto/bip32 package to crypto/accaddr** - **fix: remove duplicate indirect dependency** - **refactor: move vault package to root directory** - **refactor: update routes for gateway and vault** - **refactor: remove obsolete web configuration file** - **refactor: remove unused TigerBeetle imports and update host configuration** - **refactor: adjust styles directory path** - **feat: add broadcastTx and simulateTx functions to gateway** - **feat: add PinVault handler**
149 lines
4.9 KiB
Go
Executable File
149 lines
4.9 KiB
Go
Executable File
package bulletproof
|
|
|
|
import (
|
|
crand "crypto/rand"
|
|
"testing"
|
|
|
|
"github.com/gtank/merlin"
|
|
"github.com/stretchr/testify/require"
|
|
|
|
"github.com/onsonr/sonr/crypto/core/curves"
|
|
)
|
|
|
|
func TestRangeBatchVerifyHappyPath(t *testing.T) {
|
|
curve := curves.ED25519()
|
|
n := 256
|
|
prover, err := NewRangeProver(n*4, []byte("rangeDomain"), []byte("ippDomain"), *curve)
|
|
require.NoError(t, err)
|
|
v1 := curve.Scalar.Random(crand.Reader)
|
|
v2 := curve.Scalar.Random(crand.Reader)
|
|
v3 := curve.Scalar.Random(crand.Reader)
|
|
v4 := curve.Scalar.Random(crand.Reader)
|
|
v := []curves.Scalar{v1, v2, v3, v4}
|
|
gamma1 := curve.Scalar.Random(crand.Reader)
|
|
gamma2 := curve.Scalar.Random(crand.Reader)
|
|
gamma3 := curve.Scalar.Random(crand.Reader)
|
|
gamma4 := curve.Scalar.Random(crand.Reader)
|
|
gamma := []curves.Scalar{gamma1, gamma2, gamma3, gamma4}
|
|
g := curve.Point.Random(crand.Reader)
|
|
h := curve.Point.Random(crand.Reader)
|
|
u := curve.Point.Random(crand.Reader)
|
|
proofGenerators := RangeProofGenerators{
|
|
g: g,
|
|
h: h,
|
|
u: u,
|
|
}
|
|
transcript := merlin.NewTranscript("test")
|
|
proof, err := prover.BatchProve(v, gamma, n, proofGenerators, transcript)
|
|
require.NoError(t, err)
|
|
|
|
verifier, err := NewRangeVerifier(n*4, []byte("rangeDomain"), []byte("ippDomain"), *curve)
|
|
require.NoError(t, err)
|
|
transcriptVerifier := merlin.NewTranscript("test")
|
|
capV := getcapVBatched(v, gamma, g, h)
|
|
verified, err := verifier.VerifyBatched(proof, capV, proofGenerators, n, transcriptVerifier)
|
|
require.NoError(t, err)
|
|
require.True(t, verified)
|
|
}
|
|
|
|
func TestRangeBatchVerifyNotInRange(t *testing.T) {
|
|
curve := curves.ED25519()
|
|
n := 2
|
|
prover, err := NewRangeProver(n*4, []byte("rangeDomain"), []byte("ippDomain"), *curve)
|
|
require.NoError(t, err)
|
|
v1 := curve.Scalar.One()
|
|
v2 := curve.Scalar.Random(crand.Reader)
|
|
v3 := curve.Scalar.Random(crand.Reader)
|
|
v4 := curve.Scalar.Random(crand.Reader)
|
|
v := []curves.Scalar{v1, v2, v3, v4}
|
|
gamma1 := curve.Scalar.Random(crand.Reader)
|
|
gamma2 := curve.Scalar.Random(crand.Reader)
|
|
gamma3 := curve.Scalar.Random(crand.Reader)
|
|
gamma4 := curve.Scalar.Random(crand.Reader)
|
|
gamma := []curves.Scalar{gamma1, gamma2, gamma3, gamma4}
|
|
g := curve.Point.Random(crand.Reader)
|
|
h := curve.Point.Random(crand.Reader)
|
|
u := curve.Point.Random(crand.Reader)
|
|
proofGenerators := RangeProofGenerators{
|
|
g: g,
|
|
h: h,
|
|
u: u,
|
|
}
|
|
transcript := merlin.NewTranscript("test")
|
|
_, err = prover.BatchProve(v, gamma, n, proofGenerators, transcript)
|
|
require.Error(t, err)
|
|
}
|
|
|
|
func TestRangeBatchVerifyNonRandom(t *testing.T) {
|
|
curve := curves.ED25519()
|
|
n := 2
|
|
prover, err := NewRangeProver(n*4, []byte("rangeDomain"), []byte("ippDomain"), *curve)
|
|
require.NoError(t, err)
|
|
v1 := curve.Scalar.One()
|
|
v2 := curve.Scalar.One()
|
|
v3 := curve.Scalar.One()
|
|
v4 := curve.Scalar.One()
|
|
v := []curves.Scalar{v1, v2, v3, v4}
|
|
gamma1 := curve.Scalar.Random(crand.Reader)
|
|
gamma2 := curve.Scalar.Random(crand.Reader)
|
|
gamma3 := curve.Scalar.Random(crand.Reader)
|
|
gamma4 := curve.Scalar.Random(crand.Reader)
|
|
gamma := []curves.Scalar{gamma1, gamma2, gamma3, gamma4}
|
|
g := curve.Point.Random(crand.Reader)
|
|
h := curve.Point.Random(crand.Reader)
|
|
u := curve.Point.Random(crand.Reader)
|
|
proofGenerators := RangeProofGenerators{
|
|
g: g,
|
|
h: h,
|
|
u: u,
|
|
}
|
|
transcript := merlin.NewTranscript("test")
|
|
proof, err := prover.BatchProve(v, gamma, n, proofGenerators, transcript)
|
|
require.NoError(t, err)
|
|
|
|
verifier, err := NewRangeVerifier(n*4, []byte("rangeDomain"), []byte("ippDomain"), *curve)
|
|
require.NoError(t, err)
|
|
transcriptVerifier := merlin.NewTranscript("test")
|
|
capV := getcapVBatched(v, gamma, g, h)
|
|
verified, err := verifier.VerifyBatched(proof, capV, proofGenerators, n, transcriptVerifier)
|
|
require.NoError(t, err)
|
|
require.True(t, verified)
|
|
}
|
|
|
|
func TestRangeBatchVerifyInvalid(t *testing.T) {
|
|
curve := curves.ED25519()
|
|
n := 2
|
|
prover, err := NewRangeProver(n*4, []byte("rangeDomain"), []byte("ippDomain"), *curve)
|
|
require.NoError(t, err)
|
|
v1 := curve.Scalar.One()
|
|
v2 := curve.Scalar.One()
|
|
v3 := curve.Scalar.One()
|
|
v4 := curve.Scalar.One()
|
|
v := []curves.Scalar{v1, v2, v3, v4}
|
|
gamma1 := curve.Scalar.Random(crand.Reader)
|
|
gamma2 := curve.Scalar.Random(crand.Reader)
|
|
gamma3 := curve.Scalar.Random(crand.Reader)
|
|
gamma4 := curve.Scalar.Random(crand.Reader)
|
|
gamma := []curves.Scalar{gamma1, gamma2, gamma3, gamma4}
|
|
g := curve.Point.Random(crand.Reader)
|
|
h := curve.Point.Random(crand.Reader)
|
|
u := curve.Point.Random(crand.Reader)
|
|
proofGenerators := RangeProofGenerators{
|
|
g: g,
|
|
h: h,
|
|
u: u,
|
|
}
|
|
transcript := merlin.NewTranscript("test")
|
|
proof, err := prover.BatchProve(v, gamma, n, proofGenerators, transcript)
|
|
require.NoError(t, err)
|
|
|
|
verifier, err := NewRangeVerifier(n*4, []byte("rangeDomain"), []byte("ippDomain"), *curve)
|
|
require.NoError(t, err)
|
|
transcriptVerifier := merlin.NewTranscript("test")
|
|
capV := getcapVBatched(v, gamma, g, h)
|
|
capV[0] = curve.Point.Random(crand.Reader)
|
|
verified, err := verifier.VerifyBatched(proof, capV, proofGenerators, n, transcriptVerifier)
|
|
require.Error(t, err)
|
|
require.False(t, verified)
|
|
}
|