Add robustness tests for proof tampering and malformed encodings#55

Closed

Chausseaumoine wants to merge 25 commits intosigma-rs:mainfrom

Chausseaumoine:test/robustness-tests

Commits on Jun 16, 2025

Merge remote-tracking branch 'upstream/main'
GOURIOU Lénaïck
committed

Commits on Jul 7, 2025

test(robustness_tests): add new robustness tests for low-level bit manipulations (on BLS) on dlog and pedersen proofs
GOURIOU Lénaïck
committed
test(robustness): add simple case where wrong witness is used instead of real witness for dlog
GOURIOU Lénaïck
committed
test(robustness): refactorize existing tests into loops that cover all cases

Lenaick Gouriou
authored and
GOURIOU Lénaïck
committed
test(robustness): minor renaming

Lenaick Gouriou
authored and
GOURIOU Lénaïck
committed
fix(sponge): update implementation to comply with new specification (#39)

nougzarm
authored and
GOURIOU Lénaïck
committed
perf(sponge): optimize KeccakDuplexSponge absorb() method (#41)

nougzarm
authored and
GOURIOU Lénaïck
committed
rm src/tests/composition_protocol.rs (#43)

Chausseaumoine
and
GOURIOU Lénaïck
committed
chore(keccak): slicker code and more stable dependencies (#45)

authored and
GOURIOU Lénaïck
committed
fix(keccak): follow duplex sponge implementation. (#46)

authored and
GOURIOU Lénaïck
committed
chore: more structured duplex sponge test vectors.

mmaker
authored and
GOURIOU Lénaïck
committed
Update README.md (#47)

mmaker
authored and
GOURIOU Lénaïck
committed
chore: refactor SchnorrProof implementation for improved code quality (#49)

nougzarm
authored and
GOURIOU Lénaïck
committed
Implement scalar multiplication, negation, and subtraction for variables (#48)

authored and
GOURIOU Lénaïck
committed
Add Neg and Sub imples for ScalarVar, GroupVar, and Term (#50)

nategraf
authored and
GOURIOU Lénaïck
committed
chore(docs): update documentation for Linear Combinations section (#51)

nougzarm
authored and
GOURIOU Lénaïck
committed
refactor: simulator for sigma protocols.

mmaker
authored and
GOURIOU Lénaïck
committed
refactor: Invalid instance/witness pair.

mmaker
authored and
GOURIOU Lénaïck
committed
refactor: invalid instance/witness pair error

mmaker
authored and
GOURIOU Lénaïck
committed
Introduce ScalarTerm struct to support Add<Scalar> for ScalarVar and Add<GroupVar> for Term (#53)

authored and
GOURIOU Lénaïck
committed
Code review and minor corrections (#52)

authored and
GOURIOU Lénaïck
committed
cargo fmt

mmaker
authored and
GOURIOU Lénaïck
committed
chore: update test vectors from spec and RNG (#54)

vishady721
authored and
GOURIOU Lénaïck
committed
test(robustness_tests): add new robustness tests for low-level bit manipulations (on BLS) on dlog and pedersen proofs
GOURIOU Lénaïck
committed
fix(fiat_shamir): reject invalid witness in prover by returning an Error:VerificationFailure
GOURIOU Lénaïck
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Add robustness tests for proof tampering and malformed encodings#55

Add robustness tests for proof tampering and malformed encodings#55
Chausseaumoine wants to merge 25 commits intosigma-rs:mainfrom
Chausseaumoine:test/robustness-tests

Commits on Jun 16, 2025

Merge remote-tracking branch 'upstream/main'

Commits on Jul 7, 2025

test(robustness_tests): add new robustness tests for low-level bit manipulations (on BLS) on dlog and pedersen proofs

test(robustness): add simple case where wrong witness is used instead of real witness for dlog

test(robustness): refactorize existing tests into loops that cover all cases

test(robustness): minor renaming

fix(sponge): update implementation to comply with new specification (#39)

perf(sponge): optimize KeccakDuplexSponge absorb() method (#41)

rm src/tests/composition_protocol.rs (#43)

chore(keccak): slicker code and more stable dependencies (#45)

fix(keccak): follow duplex sponge implementation. (#46)

chore: more structured duplex sponge test vectors.

Update README.md (#47)

chore: refactor SchnorrProof implementation for improved code quality (#49)

Implement scalar multiplication, negation, and subtraction for variables (#48)

Add Neg and Sub imples for ScalarVar, GroupVar, and Term (#50)

chore(docs): update documentation for Linear Combinations section (#51)

refactor: simulator for sigma protocols.

refactor: Invalid instance/witness pair.

refactor: invalid instance/witness pair error

Introduce ScalarTerm struct to support Add<Scalar> for ScalarVar and Add<GroupVar> for Term (#53)

Code review and minor corrections (#52)

cargo fmt

chore: update test vectors from spec and RNG (#54)

test(robustness_tests): add new robustness tests for low-level bit manipulations (on BLS) on dlog and pedersen proofs

fix(fiat_shamir): reject invalid witness in prover by returning an Error:VerificationFailure

Add robustness tests for proof tampering and malformed encodings#55Chausseaumoine wants to merge 25 commits intosigma-rs:mainsigma-rs/sigma-proofs:mainfrom Chausseaumoine:test/robustness-testsChausseaumoine/sigma-rs:test/robustness-testsCopy head branch name to clipboard

Commits

Commits on Jun 16, 2025

Commits on Jul 7, 2025

Add robustness tests for proof tampering and malformed encodings#55
Chausseaumoine wants to merge 25 commits intosigma-rs:mainfrom
Chausseaumoine:test/robustness-tests