installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install cryptol

local Homebrew formula metadata

Linux

Arch Linux pacmanvérifié · 92%

sudo pacman -S cryptol

Arch Linux sync databases · cryptol · Source: geo.mirror.pkgbuild.com

Ubuntu aptvérifié · 92%

sudo apt install cryptol

Ubuntu 24.04 LTS package indexes · cryptol · Source: archive.ubuntu.com

aperçu

Résumé du paquet

Domain-specific language for specifying cryptographic algorithms

Liens du projet

Commandes et alias

check-exercises
cryptol
cryptol-html

historique

Historique du projet et usages

Cryptol is a domain-specific language and toolchain for specifying and checking cryptographic algorithms. It is packaged as a developer tool because its main value is an executable specification language, REPL-like interpreter, and solver-backed verification workflow rather than a conventional application.

Historique du projet

The official README says Cryptol was designed by Galois for the NSA Laboratory for Advanced Cybersecurity Research as a public standard for specifying cryptographic algorithms. The current repository represents Cryptol version 3 and carries Galois copyright notices beginning in 2013, with the public GitHub repository created in 2014.

Historique d'adoption

Cryptol is distributed through official GitHub release binaries for macOS, Linux, and Windows, and the README explicitly documents Homebrew installation for macOS. The supplied package metadata also lists Arch and Ubuntu packages, reflecting a tool that is niche but important enough for language, formal-methods, and cryptography users to want through normal package channels.

Modes d'utilisation

Users write executable specifications of cryptographic algorithms in Cryptol, then use the interpreter's :check command for randomized testing and :prove or :sat commands through SMT solvers such as Z3. The README also points users toward examples, the standard library, and the related SAW tooling for checking implementations against specifications.

Pourquoi les passionnés de paquets s'y intéressent

Cryptol is interesting to packagers because it bundles a language runtime, documentation, examples, and solver expectations into a CLI package. Its README notes that Homebrew installs the appropriate Z3 version automatically, which is the kind of dependency detail that determines whether a formal-methods package works out of the box.

Chronologie

2013: The version 3 codebase carries Galois copyright notices beginning in this year.
2014: The official GitHub repository was created.
2026: The hosted reference manual shows active 3.x documentation and master-branch docs.

Related projects

Cryptol is closely related to Galois's SAW tools and to the cryptol-specs repository of example specifications. Its everyday operation also depends on SMT solvers such as Z3.

Sources

posture de sécurité

Niveau de risque : vert

narrow executable package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

narrow executable package without higher-risk signals

Signaux

metadata:no-higher-risk-signals

Comportement d'installation

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
S’installe avec 2 dépendances d’exécution.
Les métadonnées de compilation listent 2 dépendances de compilation.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

Commande	Type	Exposition
`check-exercises`	cli	exécutable global
`cryptol`	cli	exécutable global
`cryptol-html`	cli	exécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-07-10

version du gestionnaire3.5.0

gestionnaire mis à jour

données localesOK

amontnot checked

dernière version détectéenon détecté

https://galoisinc.github.io/cryptol/master/RefMan.html

infoNo package-manager update timestamp was available.confiance faible
infoRelease/tag comparison is only available for GitHub repositories.https://galoisinc.github.io/cryptol/master/RefMan.htmlconfiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:cryptol
Version	3.5.0
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/cryptol
Page d'accueil	https://galoisinc.github.io/cryptol/master/RefMan.html
Dépôt	https://github.com/GaloisInc/cryptol
Docs amont	https://galoisinc.github.io/cryptol/master/RefMan.html
Licence	BSD-3-Clause
Archive source	https://hackage.haskell.org/package/cryptol-3.5.0/cryptol-3.5.0.tar.gz
Dépendances	gmp, z3
Dépendances de compilation	cabal-install, ghc@9.12
Bibliothèques fournies par macOS	libffi, ncurses
Bouteille	disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

Détails de la base source

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	cryptol
Version Scheme	0
Revision	0
Head Version	HEAD
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	head stable

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

Ubuntu apt95%

cryptol 3.0.0-1build1

domain-specific language of cryptography

http://www.cryptol.net/

sudo apt install cryptol

Section: universe/utils
Architecture: amd64
Source Package: haskell-cryptol
6 Dépendances
normalized package name match
Correspondance par : Cryptol

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: cryptol from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

pacman95%

cryptol 3.3.0-88

The Language of Cryptography

https://tools.galois.com/cryptol

sudo pacman -S cryptol

License: BSD-3-Clause
Architecture: x86_64
32 Dépendances
normalized package name match
Correspondance par : Cryptol

Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: cryptol from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/cryptol.yml

Sources utilisées

Geiger risk classifier
Nucleus package database
av.db category and tag curation
cross-ecosystem install command graph
curated package history
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment

Installer cryptol avec Homebrew, pacman, apt