EspressoSystems / EspressoSystems/hyperplonk

A question about hyperplonk/src/snark.rs test

Open
#149 2 comments 0 reactions 0 assignees View on GitHub
Dominant language
Rust
Stars
343
Forks
104
PR merge metrics
No merged PRs in 30d

Description

I substituted the 673 line in `hyperplonk/src/snark.rs` with
```rust
let permutation = vec![
E::ScalarField::from(1u128),
E::ScalarField::from(2u128),
E::ScalarField::from(3u128),
E::ScalarField::from(4u128),
E::ScalarField::from(5u128),
E::ScalarField::from(6u128),
E::ScalarField::from(7u128),
E::ScalarField::from(0u128),
];
```
and ran the corresponding test `test_hyperplonk_e2e`, with the result `_verify` in line 716 being true. In my understanding, the permutation check shouldn't pass and we should have the result as false. I guess there might be vulnerability in the batch opening part of `HyperPlonkSNARK::verify`. Please let me know if I made any mistake here. Looking forward to your reply.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.