sapling_cryptotypes into the codec that substrate uses, but still doing the exploration phase
bellmanwith groth16/Jubjub256 to generate the parameters I have to pass in a mock circuit that has the same depth as what a real instance has. I'm curious if in the SONIC case, I can use a CRS over a depth 1 merkle tree for merkle trees of arbitrary depth if I'm building them on the fly
blake2sbegins to parse the input correctly, but fails somewhere in the execution. For clarity,
preimageis a 512 sized
Vec<Boolean>that is well-formed from the looks of it. Any ideas?
IV[i] = floor(2**w * frac(sqrt(prime(i+1)))), where prime(i) is the i:th prime number ( 2, 3, 5, 7, 11, 13, 17, 19 ) and sqrt(x) is the square root of x.