Daniel Lubarov 0252d5c762 Fix Challenger's duplicate challenge bug
`absorb_buffered_inputs` is called even if the input buffer is empty. In that case it should no-op, but it was instead replenishing the output buffer because of this line:

    self.output_buffer = self.sponge_state[0..SPONGE_RATE].to_vec();

Easiest fix is to skip that code if the input buffer is empty.
2021-04-27 09:10:01 -07:00
2021-02-17 14:36:32 -08:00
2021-04-22 09:27:59 +02:00
2021-04-12 10:38:07 +02:00
2021-04-12 10:38:07 +02:00
2021-04-12 10:38:07 +02:00

plonky2

TODO: Write a readme...

Disclaimer

This code has not been thoroughly reviewed or tested, and should not be used in any production systems.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Description
the Plonky2 proof system
Readme
Languages
Rust 98.4%
JavaScript 0.6%
Python 0.6%
HTML 0.3%