def cs_d
import bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/point.bend as Pointimport Base
31def cs_d(c: Cs) -> List<&2, U32>:
32 match c:
33 case Cs{d, d2, s}:
34 d
Uses (3)
Used by (10)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/pcodec:r_d
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/pdec:base_rel
- bend-collections-laws-crypto@1.0.0.0/src/crypto/ed25519/point:dec_y
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/pdec:decode_rel
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/top:public_rel
- …