See https://github.com/o1-labs/mina-rust/blob/develop/ledger/src/proofs/verification.rs#L1044
