zkevm-verifier-prototype/docker-compose.yml at main · GideonDevRel/zkevm-verifier-prototype · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
version: '3.8'

services:
  zkevm-verifier:
    build:
      context: .
      dockerfile: Dockerfile
    image: zkevm-verifier:latest
    container_name: zkevm-verifier

    volumes:
      - ./circuits:/app/circuits
      - ./src:/app/src
      - ./proofs:/app/proofs
      - ./reports:/app/reports
      - ./output:/app/output

    environment:
      - PYTHONPATH=/app
      - LEAN_PATH=/root/.elan/bin

    stdin_open: true
    tty: true

    command: /bin/bash

    deploy:
      resources:
        limits:
          cpus: '2.0'
          memory: 4G
        reservations:
          cpus: '1.0'
          memory: 2G

  test:
    build:
      context: .
      dockerfile: Dockerfile
    image: zkevm-verifier:latest
    container_name: zkevm-verifier-test

    volumes:
      - ./circuits:/app/circuits
      - ./src:/app/src
      - ./proofs:/app/proofs
      - ./reports:/app/reports
      - ./output:/app/output

    environment:
      - PYTHONPATH=/app

    command: /app/docker-demo.sh