mirror of
https://github.com/onsonr/sonr.git
synced 2025-03-10 21:09:11 +00:00
Prad Nukala
89989fa102
- **refactor: move session-related code to middleware package** - **refactor: update PKL build process and adjust related configurations** - **feat: integrate base.cosmos.v1 Genesis module** - **refactor: pass session context to modal rendering functions** - **refactor: move nebula package to app directory and update templ version** - **refactor: Move home section video view to dedicated directory** - **refactor: remove unused views file** - **refactor: move styles and UI components to global scope** - **refactor: Rename images.go to cdn.go** - **feat: Add Empty State Illustrations** - **refactor: Consolidate Vault Index Logic** - **fix: References to App.wasm and remove Vault Directory embedded CDN files** - **refactor: Move CDN types to Models** - **fix: Correct line numbers in templ error messages for arch_templ.go** - **refactor: use common types for peer roles** - **refactor: move common types and ORM to a shared package** - **fix: Config import dwn** - **refactor: move nebula directory to app** - **feat: Rebuild nebula** - **fix: correct file paths in panels templates** - **feat: Remove duplicate types** - **refactor: Move dwn to pkg/core** - **refactor: Binary Structure** - **feat: Introduce Crypto Pkg** - **fix: Broken Process Start** - **feat: Update pkg/* structure** - **feat: Refactor PKL Structure** - **build: update pkl build process** - **chore: Remove Empty Files** - **refactor: remove unused macaroon package** - **feat: Add WebAwesome Components** - **refactor: consolidate build and generation tasks into a single taskfile, remove redundant makefile targets** - **refactor: refactor server and move components to pkg/core/dwn** - **build: update go modules** - **refactor: move gateway logic into dedicated hway command** - **feat: Add KSS (Krawczyk-Song-Song) MPC cryptography module** - **feat: Implement MPC-based JWT signing and UCAN token generation** - **feat: add support for MPC-based JWT signing** - **feat: Implement MPC-based UCAN capabilities for smart accounts** - **feat: add address field to keyshareSource** - **feat: Add comprehensive MPC test suite for keyshares, UCAN tokens, and token attenuations** - **refactor: improve MPC keyshare management and signing process** - **feat: enhance MPC capability hierarchy documentation** - **refactor: rename GenerateKeyshares function to NewKeyshareSource for clarity** - **refactor: remove unused Ethereum address computation** - **feat: Add HasHandle and IsAuthenticated methods to HTTPContext** - **refactor: Add context.Context support to session HTTPContext** - **refactor: Resolve context interface conflicts in HTTPContext** - **feat: Add session ID context key and helper functions** - **feat: Update WebApp Page Rendering** - **refactor: Simplify context management by using single HTTPContext key** - **refactor: Simplify HTTPContext creation and context management in session middleware** - **refactor: refactor session middleware to use a single data structure** - **refactor: Simplify HTTPContext implementation and session data handling** - **refactor: Improve session context handling and prevent nil pointer errors** - **refactor: Improve session context handling with nil safety and type support** - **refactor: improve session data injection** - **feat: add full-screen modal component and update registration flow** - **chore: add .air.toml to .gitignore** - **feat: add Air to devbox and update dependencies**
103 lines
3.2 KiB
Go
Executable File
103 lines
3.2 KiB
Go
Executable File
package bulletproof
|
|
|
|
import (
|
|
crand "crypto/rand"
|
|
"testing"
|
|
|
|
"github.com/gtank/merlin"
|
|
"github.com/stretchr/testify/require"
|
|
|
|
"github.com/onsonr/sonr/pkg/crypto/core/curves"
|
|
)
|
|
|
|
func TestRangeBatchProverHappyPath(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)
|
|
require.NotNil(t, proof)
|
|
require.Equal(t, 10, len(proof.ipp.capLs))
|
|
require.Equal(t, 10, len(proof.ipp.capRs))
|
|
}
|
|
|
|
func TestGetaLBatched(t *testing.T) {
|
|
curve := curves.ED25519()
|
|
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}
|
|
aL, err := getaLBatched(v, 256, *curve)
|
|
require.NoError(t, err)
|
|
twoN := get2nVector(256, *curve)
|
|
for i := 1; i < len(v)+1; i++ {
|
|
vec := aL[(i-1)*256 : i*256]
|
|
product, err := innerProduct(vec, twoN)
|
|
require.NoError(t, err)
|
|
require.Zero(t, product.Cmp(v[i-1]))
|
|
}
|
|
}
|
|
|
|
func TestRangeBatchProverMarshal(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)
|
|
|
|
proofMarshaled := proof.MarshalBinary()
|
|
proofPrime := NewRangeProof(curve)
|
|
err = proofPrime.UnmarshalBinary(proofMarshaled)
|
|
require.NoError(t, err)
|
|
require.True(t, proof.capA.Equal(proofPrime.capA))
|
|
require.True(t, proof.capS.Equal(proofPrime.capS))
|
|
require.True(t, proof.capT1.Equal(proofPrime.capT1))
|
|
require.True(t, proof.capT2.Equal(proofPrime.capT2))
|
|
require.Zero(t, proof.taux.Cmp(proofPrime.taux))
|
|
require.Zero(t, proof.mu.Cmp(proofPrime.mu))
|
|
require.Zero(t, proof.tHat.Cmp(proofPrime.tHat))
|
|
}
|