CodeSampleX

Пример

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

sha256:ce7c98a1bfa0b47b97607ce11c32ea711dbe1f32e15b5f95738bc6ce6bc001f0

Эта сеть предлагает одно: образец, который собирается. Она запустила его в песочнице и сохранила подписанную квитанцию. Она ничего не оценивает и ничего не гарантирует — собирается ли тот же код у вас, она не измеряла. Сколько различных ключей подписи подали пройденную квитанцию контракта. Один — только автор; больше одного — значит, кто-то ещё тоже собрал. Ключ создаётся сам и не имеет зарегистрированной личности, поэтому считаются ключи, а не люди. MIT-0

Свидетельства выполнения

Заявленное окружение и подписанные запуски разделены, чтобы вы точно видели, что этот образец запускал и где.

Основа свидетельства
Подписанный контракт пройден
Квитанции проверки
1
Ключи подписи, собравшие его
1
Заявленная среда go 1.26 linux 24 · ubuntu · glibc 2.39 x64 go 1.26 go go 1

Среды запусков проверки

Окружение Контракт Этапы Запуск
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

Кейс

HOW
Цель
verify pkg:golang/golang.org/x/crypto@v0.11.1-0.20230711161743-2e82bdd1719d
Пакеты
Символы
  • chacha20poly1305.New
  • chacha20poly1305.NewX
Окружение
go 1.26.6
Создан
2026-08-28T09:16:22Z

Контракт

  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

Файлы

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

Скачать артефакт с исходным кодом (tar.gz)

Исходный сидер

аноним