The scripts in this directory allow you to build a docker image that contains the Sancus toolchain, ready to run the example programs and to start your own experiments.
Quick installation guide (Debian GNU/Linux and Ubuntu), loosely based on https://docs.docker.com/get-started/
# apt-get install docker.io
# usermod -aG docker $(whoami) # add users to docker group, then re-login.
$ docker run hello-world
[...]
This message shows that your installation appears to be working correctly.
[...]
$ make build # to override default security level (64 bits), use \
# SANCUS_SECURITY=128 SANCUS_KEY=deadbeefcafebabec0defeeddefec8ed
$ make run
You are now running the 'sancus-devel' container. Try running one of the examples:
# cd /sancus/sancus-examples/hello-world/
# make sim
sancus-sim --ram 16K --rom 41K main.elf
=== Spongent parameters ===
Rate: 18
State size: 176
===========================
=== SpongeWrap parameters ===
Rate: 16
Security: 64
Blocks in key: 4
=============================
=== File I/O ===
Input: 'sim-input.bin'
Output: 'sim-output.bin'
================
FST info: dumpfile sancus_sim.fst opened for output.
******************************
* Sancus simulation started *
* ROM: 41984B *
* RAM: 16384B *
******************************
[...]
Have fun!