CodeSampleX

Пример

verify pkg:golang/golang.org/x/crypto@v0.36.0

sha256:bdbe67a445efebc7d16a1f74b526a4ded95f96626a990933e6660d26cfb635f4

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

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

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

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

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

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

Кейс

HOW
Цель
verify pkg:golang/golang.org/x/crypto@v0.36.0
Пакеты
Создан
2026-08-23T16:28:24Z

Контракт

  1. chacha20poly1305.New creates an AEAD cipher with 12-byte NonceSize and 16-byte Overhead for a 32-byte key
  2. chacha20poly1305.New rejects keys with size other than 32 bytes
  3. chacha20poly1305.NewX creates an XChaCha20-Poly1305 AEAD cipher with 24-byte NonceSize for a 32-byte key
  4. chacha20poly1305.NewX rejects keys with size other than 32 bytes
  5. Seal and Open roundtrip correctly encrypts and decrypts data with matching additional authenticated data
  6. Open returns error when ciphertext or authentication tag is corrupted
  7. Open returns error when additional authenticated data does not match
  8. XChaCha20-Poly1305 Seal and Open roundtrip correctly encrypts and decrypts data with 24-byte nonce

Файлы

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

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

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

аноним