CodeSampleX

Beispiel

verify pkg:golang/golang.org/x/crypto@v0.11.1-0.20230711161743-2e82bdd1719d

sha256:ce7c98a1bfa0b47b97607ce11c32ea711dbe1f32e15b5f95738bc6ce6bc001f0

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 go 1.26 linux 24 · ubuntu · glibc 2.39 x64 go 1.26 go go 1

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-28

Fall

HOW
Ziel
verify pkg:golang/golang.org/x/crypto@v0.11.1-0.20230711161743-2e82bdd1719d
Pakete
Symbole
  • chacha20poly1305.New
  • chacha20poly1305.NewX
Umgebung
go 1.26.6
Erstellt
2026-08-28T09:16:22Z

Contract

  1. chacha20poly1305.New creates an AEAD cipher with standard 12-byte NonceSize and 16-byte Overhead
  2. chacha20poly1305.New rejects invalid key lengths not matching 32 bytes
  3. chacha20poly1305.NewX creates an AEAD cipher with extended 24-byte NonceSize and 16-byte Overhead
  4. chacha20poly1305.NewX rejects invalid key lengths not matching 32 bytes
  5. aead.Seal and aead.Open correctly encrypt and decrypt plaintext with additional authenticated data
  6. aead.Open rejects tampered ciphertext or corrupted authentication tag
  7. aead.Open rejects mismatched additional authenticated data
  8. aeadX.Seal and aeadX.Open round-trip plaintext with 24-byte extended nonce

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym