ICryptol joins an increasing number of IPython-style notebook interfaces that allow for rich interaction in a programming language using a web interface. Despite the version number, we consider ICryptol to still be quite experimental, so please let us know if something goes wrong.
ICryptol 1.0.0 is built against Cryptol 2.2.1, and offers the same integration with proof and satisfiability checkers. It comes with our example AES implementation in literate style to show how the notebook model offers a compelling way to develop and share cryptographic ideas. See the README for prerequisites and instructions.
We’d like to offer a special thanks on this release to David Christiansen and Andrew Gibiansky. David, as a Galois intern, reimplemented an earlier ICryptol experiment by adopting and improving the infrastructure used in Andrew’s IHaskell project to communicate with the notebook interface directly. Their work benefits both projects and will serve as the foundation for many more improvements to come.