Sign inSign up

tfaoliveira/mlkem-crypto24:latest

Security
Languages & frameworks
Manifest digest

sha256:ffbb7a40a88b9797f6478033e302093590992f452ec26e51a782343f293c1c3f

OS/ARCH

linux/amd64

Compressed size

2 GB

Last pushed

about 2 years by tfaoliveira

Type

Image

Manifest digest

sha256:ffbb7a40a88b9797f6478033e302093590992f452ec26e51a782343f293c1c3f

Image Layers

Image Layers

1ADD file ... in / 27.78 MB
2CMD ["bash"]0 B
3ARG USERNAME=crypto240 B
4ARG EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a90 B
5ARG JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae # for eclib0 B
6ARG JASMIN_COMPILER_COMMIT=v2024.07.0 # for compiler0 B
7SHELL [/bin/bash -c]0 B
8ENV DEBIAN_FRONTEND=noninteractive0 B
9RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae644.68 MB
10RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae67.91 KB
11RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae3.34 KB
12USER crypto240 B
13WORKDIR /home/crypto2432 B
14RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae110 B
15RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae103.4 MB
16ENV ALTERGO_VERSION=2.5.3 CVC4_VERSION=1.8 Z3_VERSION=4.8.170 B
17ENV OPAMYES=true OPAMVERBOSE=0 OPAMJOBS=40 B
18RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae146 MB
19RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae8.11 MB
20RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae12.33 MB
21RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae719.01 MB
22RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae358.31 MB
23RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae20.29 MB
24RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae1.97 KB
25RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae1.99 KB
26RUN |20 USERNAME=crypto24 EASYCRYPT_COMMIT=0df85113c4a399990f3f8ed93db5047a8844f8a9 JASMIN_COMMIT=88a932b2bf478345597f75be31ae25e5acefafae2 KB
27COPY ./ ./ # buildkit2.95 MB

Command

ADD file:6c4730e7b12278bc7eb83b3b9d659437c92c42fc7ee70922ae8c4bebfb56a602 in /