Decompression Petr -> Felix

verify_transform_constrained

cargo run --release --bin verify_transform_constrained
    Finished release [optimized] target(s) in 0.12s
     Running `target/release/verify_transform_constrained`
Will verify and decompress a contribution to accumulator for 2^25 powers of tau
Calculating previous challenge hash...
Hash of the `challenge` file for verification:
	442064d3 e63b077b b82a3268 9d7cfb54
	470391c7 5d03d9e8 0bb39c6d 84aa063f
	e876fbc7 e07c7ea6 a09d3582 7333be41
	2925944f d0f7a0dc 8280d5d4 0016aa8f
`response` was based on the hash:
	442064d3 e63b077b b82a3268 9d7cfb54
	470391c7 5d03d9e8 0bb39c6d 84aa063f
	e876fbc7 e07c7ea6 a09d3582 7333be41
	2925944f d0f7a0dc 8280d5d4 0016aa8f
Hash of the `response` file for verification:
	aa4ad1e6 c73f50cc 7636f4f3 ddbe9707
	f11138f0 a5f6c062 8408c2ca a6bd9dd0
	c657478a 9a66eecf b4cc929a 8321fc6a
	cf4d076f 21ac861a 18a0aad6 3cec79c0
Verifying a contribution to contain proper powers and correspond to the public key...

Verification succeeded! Writing to `./new_challenge`...
Here's the BLAKE2b hash of the decompressed participant's response as `new_challenge` file:
	770d8ac1 b170bb2f 1b1cd401 3db7a13d
	aee60c90 95407e12 f0e66e34 c031d606
	5304cd4c dde10d0b e0a3d4f4 7b356774
	bec3cb06 6ef37030 6beef84d c426d5bc
Done! `./new_challenge` contains the new challenge file. The other files
were left alone.