Peng Wang

Results 2 issues of Peng Wang

Axios security alert: https://github.com/advisories/GHSA-4w2v-q235-vp99

According the zen protocol's white paper, contract 'bounds' represents the amount of computation needed to run the F* program. If a miner receives a transaction containing a contract which declares...