Ed25519.sign_with: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/ed25519/ed25519.bend as Ed25519
Lines 44-50 of bend-collections@1.0.0.0/src/crypto/ed25519/ed25519.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/ed25519.bend&start_line=44&end_line=50

import Base
import bend-collections@1.0.0.0/src/crypto/hash.bend as H
import bend-collections@1.0.0.0/src/crypto/ed25519/scalar.bend as SC
import bend-collections@1.0.0.0/src/crypto/ed25519/point.bend as PT

def sign_with(+c: PT.Cs, +xs: List<&2, U32>, +h: List<&2, U32>, +msg: List<&2, U32>) -> List<&2, U32>:
  +b = PT.base(c, xs)
  +a = public_of(c, xs, h)
  +r = SC.reduce(H.sha512(cat(prefix(h), msg)))
  +rb = PT.encode(PT.mul(c, r, b))
  +k = hram(rb, a, msg)
  cat(rb, SC.mul_add(k, SC.reduce(secret(h)), r))

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/ed25519.bend&name=cat
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/ed25519.bend&name=hram
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/ed25519.bend&name=prefix
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/ed25519.bend&name=public_of
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/ed25519.bend&name=secret
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/point.bend&name=Cs
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/point.bend&name=base
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/point.bend&name=encode
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/point.bend&name=mul
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/scalar.bend&name=mul_add
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/ed25519/scalar.bend&name=reduce
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/hash.bend&name=sha512