def DP
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/ladder.bend as Ladderimport Base
29def DP(-A: Data, -B: Data) -> Data:
30 Sigma<&2, &2, A, _ => B>
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/ladder.bend as Ladderimport Base
29def DP(-A: Data, -B: Data) -> Data:
30 Sigma<&2, &2, A, _ => B>