EspressoSystems / EspressoSystems/hyperplonk
A question about hyperplonk/src/snark.rs test
- 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.