GuildOfWeavers / distaff

Zero-knowledge virtual machine written in Rust
MIT License
244 stars 44 forks source link

Complete estimation of proof security level #2

Closed bobbinth closed 4 years ago

bobbinth commented 4 years ago

Proof security level estimation currently takes into account only trace security level. This is incomplete as it does not incorporate security level of low-degree testing. This should be fixed.

Security level is currently estimated here: https://github.com/GuildOfWeavers/distaff/blob/master/src/stark/options.rs

It might make sense to do this after #1 is addressed.