mirror of
https://repo.dactyloidae.xyz/Dactyloidae/UXP.git
synced 2026-09-29 11:57:32 +09:00
d36d4eb674
- Added HACL*Poly1305 32-bit (INRIA/Microsoft) - Updated to final TLS 1.3 draft version (28) - Removed TLS 1.3 prerelease draft limit check - Removed NPN code - Enabled dev/urandom-only RNG on Linux with NSS_SEED_ONLY_DEV_URANDOM for non-standard environments - Fixed several bugs with TLS 1.3 negotiation - Updated internal certificate store - Added support for the TLS Record Size Limit Extension. - Fixed CVE-2018-0495 - Various security fixes in the ASN.1 code.
30 lines
894 B
Docker
30 lines
894 B
Docker
FROM ubuntu:xenial
|
|
|
|
MAINTAINER Franziskus Kiefer <franziskuskiefer@gmail.com>
|
|
# Based on the HACL* image from Benjamin Beurdouche and
|
|
# the original F* formula with Daniel Fabian
|
|
|
|
# Pinned versions of HACL* (F* and KreMLin are pinned as submodules)
|
|
ENV haclrepo https://github.com/mitls/hacl-star.git
|
|
|
|
# Define versions of dependencies
|
|
ENV opamv 4.05.0
|
|
ENV haclversion 1da331f9ef30e13269e45ae73bbe4a4bca679ae6
|
|
|
|
# Install required packages and set versions
|
|
ADD setup.sh /tmp/setup.sh
|
|
RUN bash /tmp/setup.sh
|
|
|
|
# Create user, add scripts.
|
|
RUN useradd -ms /bin/bash worker
|
|
WORKDIR /home/worker
|
|
ADD bin /home/worker/bin
|
|
RUN chmod +x /home/worker/bin/*
|
|
USER worker
|
|
|
|
# Build F*, HACL*, verify. Install a few more dependencies.
|
|
ENV OPAMYES true
|
|
ENV PATH "/home/worker/hacl-star/dependencies/z3/bin:$PATH"
|
|
ADD setup-user.sh /tmp/setup-user.sh
|
|
ADD license.txt /tmp/license.txt
|
|
RUN bash /tmp/setup-user.sh
|