Property testing for Hashing functions

stacks-network / clarity-wasm

`clar2wasm` is a compiler for generating WebAssembly from Clarity.

GNU General Public License v3.0

12 stars 10 forks source link

Property testing for Hashing functions #256

Closed csgui closed 2 weeks ago

csgui commented 7 months ago

Clarity functions to be addressed:

### Tasks
- [x] hash160
- [x] keccak256
- [x] sha256
- [x] sha512
- [x] sha512/256
- [x] secp256k1-recover?
- [x] secp256k1-verify

Acaccia commented 7 months ago

This one should be extremely easy for keccak256 and sha512/256: the function could just generate values from the possible input types and use crosscheck_compare_only.

smcclellan commented 3 months ago