CodeSampleX

Exemple

verify pkg:golang/github.com/miekg/dns@v1.1.72

sha256:e0da3397fbbc7a8822b90c5e4ec169c4fe5c0897887f2dd6e4aa9fd49e1e593d

Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré. Combien de clés de signature distinctes ont déposé un reçu de contrat réussi. Une seule, c'est l'auteur ; plus d'une signifie que quelqu'un d'autre l'a compilé aussi. Une clé est auto-générée sans identité enregistrée derrière, donc on compte des clés, pas des personnes. MIT-0

Preuves d'exécution

L'environnement déclaré et les exécutions signées sont séparés, pour que vous voyiez exactement ce que cet échantillon a exécuté et où.

Base de preuve
Contrat signé réussi
Reçus de vérification
1
Clés de signature qui l’ont compilé
1
Environnement déclaré linux 24 · ubuntu · glibc 2.39 amd64 go 1.26 go 1

Environnements des exécutions de vérification

Environnement Contrat Étapes Exécution
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

Cas

HOW
Objectif
verify pkg:golang/github.com/miekg/dns@v1.1.72
Paquets
Créé
2026-08-28T08:38:14Z

Contrat

  1. dns.Msg.SetTsig configures TSIG pseudo-RR on DNS message with specified key name, algorithm, fudge, and timestamp
  2. dns.TsigGenerate computes HMAC signature and encodes DNS message into authenticated wire format bytes
  3. dns.TsigVerify validates wire format DNS message authenticity against shared secret and confirms integrity
  4. dns.TsigVerify rejects corrupted wire messages or mismatched secrets with validation errors
  5. dns.TsigGenerate and dns.TsigVerify support request MAC chaining for DNS response authentication

Fichiers

  • PROMPT.md
  • csx.json
  • dns_tsig.go
  • go.mod
  • go.sum
  • spec.json
  • test/contract_test.go

Télécharger l’artefact source (tar.gz)

Seeder d'origine

anonyme