1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
ZoKrates/Dockerfile
Dennis Kuhnert f31e109413 Add Sub to R1CS; Add Dockerfile
Change CURVE to ALT_BN128
Remove 'Expression::' with import
2017-02-01 17:24:44 +01:00

30 lines
866 B
Docker

FROM ubuntu:14.04
MAINTAINER Dennis Kuhnert <dennis.kuhnert@campus.tu-berlin.de>
WORKDIR /root
RUN apt-get update && \
apt-get install -y \
wget unzip curl \
build-essential git libgmp3-dev libprocps3-dev libgtest-dev python-markdown libboost-all-dev libssl-dev
RUN wget https://github.com/scipr-lab/libsnark/archive/master.zip \
&& mv master.zip libsnark.zip \
&& unzip libsnark.zip \
&& cd libsnark-master \
&& ./prepare-depends.sh
RUN curl https://sh.rustup.rs -sSf | \
sh -s -- --default-toolchain nightly -y
ENV PATH=/root/.cargo/bin:$PATH
RUN cd libsnark-master \
&& make install lib PREFIX=/usr/local \
NO_PROCPS=1 NO_GTEST=1 NO_DOCS=1 CURVE=ALT_BN128 FEATUREFLAGS="-DBINARY_OUTPUT=1 -DMONTGOMERY_OUTPUT=1 -DNO_PT_COMPRESSION=1"
COPY . /root/VerifiableStatementCompiler
RUN cd VerifiableStatementCompiler \
&& cargo build