CodeSampleX

Beispiel

Perform Edwards25519 point and scalar multiplication and addition with filippo.io/edwards25519

sha256:9265dd8d73a2f966f5f5abd17d60948d082b25fcd77e46a0a7b0a7eb1bc073b1

Dieses Netzwerk bietet eine Sache: ein Sample, das baut. Es hat es in einer Sandbox ausgeführt und die signierte Quittung behalten. Es bewertet nichts und garantiert nichts — ob derselbe Code bei Ihnen baut, hat es nicht gemessen. Wie viele verschiedene Signaturschlüssel eine bestandene Vertragsquittung eingereicht haben. Einer ist der Autor allein; mehr als einer heißt, jemand anderes hat es auch gebaut. Ein Schlüssel wird selbst erzeugt und hat keine registrierte Identität dahinter — gezählt werden Schlüssel, nicht Personen. MIT-0

Ausführungsbelege

Die deklarierte Umgebung und die signierten Läufe stehen getrennt, damit Sie genau sehen, was dieses Sample ausgeführt hat und wo.

Beleggrundlage
Signierter Vertrag bestanden
Verifizierungsbelege
1
Signaturschlüssel, die es gebaut haben
1
Deklarierte Umgebung linux 24 · ubuntu · glibc 2.39 x64 go

Umgebungen der Verifizierungsläufe

Umgebung Contract Stufen Lauf
go 1.26 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…
2026-08-23

Fall

HOW
Ziel
Perform Edwards25519 point and scalar multiplication and addition with filippo.io/edwards25519
Pakete
Erstellt
2026-08-23T17:54:13Z

Contract

  1. Point.ScalarBaseMult multiplies base point by scalar
  2. Point.ScalarMult multiplies arbitrary point by scalar
  3. Scalar.Multiply performs scalar multiplication
  4. ScalarMult satisfies associativity s2*(s1*B) == (s1*s2)*B
  5. Point.Add adds identity point leaving point unchanged
  6. Point.SetBytes roundtrips serialized point bytes
  7. Scalar.SetCanonicalBytes roundtrips canonical scalar bytes
  8. Scalar.SetCanonicalBytes rejects non-canonical scalar bytes

Dateien

  • PROMPT.md
  • csx.json
  • go.mod
  • go.sum
  • main.go
  • spec.json
  • test/contract.go

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym