chore: test remaining crypto blackbox functions#5702

Closed

michaeljklein wants to merge 31 commits intomasterfrom

michaeljklein/more-crypto-blackbox-tests

Commits on Jul 26, 2024

add poseidon2_permutation smoke test draft
michaeljklein
committed
using external poseidon2 permutation impl for test, make internal poseidon2 permutation parameters public
michaeljklein
committed
convert test to property test, factor out test helper, use d=5
michaeljklein
committed

Commits on Jul 29, 2024

wip sha256 tests
michaeljklein
committed

Commits on Jul 31, 2024

Merge branch 'master' into michaeljklein/crypto-blackbox-tests, add hash function solver setup, refactor solvers into shared solver, wip injectivity tests
michaeljklein
committed

Commits on Aug 5, 2024

Commits on Aug 7, 2024

Merge branch 'master' into michaeljklein/crypto-blackbox-tests
michaeljklein
authored

Commits on Aug 9, 2024

Commits on Aug 21, 2024

Commits on Aug 22, 2024

Commits on Aug 23, 2024