Pre develop 0.16.0

.github/workflows/pr.yml

@@ -47,11 +47,11 @@ jobs:
   test-x86_64:
     name: Test on Ubuntu x86_64
     runs-on: self-hosted
-    timeout-minutes: 120
+    timeout-minutes: 180
     container:
       image: ubuntu:22.04
       options:
-        --shm-size=32g
+        --shm-size=48g
         -v /home/gha/cache-setup:/github/home/output:rw
     defaults:
       run:
@@ -86,6 +86,8 @@ jobs:
           ./build_setup.sh
 
       - name: Test sha_hasher
+        env:
+          ZISK_TEMPLATE_BRANCH: pre-develop-0.16.0
         run: |
           cd "$GITHUB_WORKSPACE/tools/test-env"
           ./test_sha_hasher.sh
@@ -98,23 +100,23 @@ jobs:
       - name: Verify Constraints Ethereum block
         env:
           DISABLE_PROVE: "1"
-          BLOCK_INPUTS: "18885301_210_24_rsp.bin"
+          BLOCK_INPUTS: "mainnet_24341018_290_29_zec_reth.bin"
         run: |
           cd "$GITHUB_WORKSPACE/tools/test-env"
           ./test_eth_block.sh
 
       - name: Prove Ethereum block
         env:
           DISABLE_ROM_SETUP: "1"
-          BLOCK_INPUTS_DISTRIBUTED: "21429020_5_0_rsp.bin"
+          BLOCK_INPUTS_DISTRIBUTED: "mainnet_24341035_74_5_zec_reth.bin"
         run: |
           cd "$GITHUB_WORKSPACE/tools/test-env"
           ./test_eth_block.sh
 
   test-macos:
     name: Test on macOS
     runs-on: macos-14
-    timeout-minutes: 15
+    timeout-minutes: 30
     defaults:
       run:
         shell: bash
@@ -140,6 +142,8 @@ jobs:
           ./build_zisk.sh
 
       - name: Test sha_hasher
+        env:
+          ZISK_TEMPLATE_BRANCH: pre-develop-0.16.0
         run: |
           cd "$GITHUB_WORKSPACE/tools/test-env"
           ./test_sha_hasher.sh

.github/workflows/release.yml

@@ -117,7 +117,6 @@ jobs:
           cp ./target/${TARGET}/release/riscv2zisk                 zisk-dist/bin/
           cp ./target/${TARGET}/release/zisk-coordinator           zisk-dist/bin/
           cp ./target/${TARGET}/release/zisk-worker                zisk-dist/bin/
-          cp ./target/${TARGET}/release/libzisk_witness.${LIB_EXT} zisk-dist/bin/
           cp ./ziskup/ziskup                                       zisk-dist/bin/
           cp ./target/${TARGET}/release/libziskclib.a              zisk-dist/bin/
 

.gitignore

@@ -8,17 +8,23 @@
 *.pilout
 *.fixed
 /tmp
+**/tmp
 *.log
 /emulator-asm/build*
+/emulator-asm/src/dma/*.o
+/emulator-asm/src/dma/test/*.o
+/emulator-asm/src/dma/test/test_dma
+/emulator-asm/src/dma/test/build
 /emulator-asm/src/emu.asm
 /cache
 /lib-c/c/build
 /lib-c/c/lib
 /lib-float/c/build
 /logs
-precompiles/keccakf/src/keccakf_fixed.bin
-precompiles/sha256f/src/sha256f_fixed.bin
 state-machines/frequent-ops/src/frequent_ops_fixed.bin
 state-machines/arith/src/arith_frops_fixed.bin
 state-machines/binary/src/binary_basic_frops_fixed.bin
 state-machines/binary/src/binary_extension_frops_fixed.bin
+reth-inputs/
+/hints
+/benchmark

.vscode/launch.json

@@ -15,8 +15,6 @@
                     //"--bin",
                     //"proofman-cli",
                     "verify-constraints",
-                    "--witness-lib",
-                    "../zisk/target/debug/libzisk_witness.so",
                     "--elf",
                     "../zisk-testvectors/pessimistic-proof/program/pessimistic-proof-program-keccak.elf",
                     "-i",

.vscode/settings.json

@@ -3,7 +3,7 @@
     "[rust]": {
         "editor.defaultFormatter": "rust-lang.rust-analyzer",
         "editor.formatOnSave": true,
-        "editor.hover.enabled": true
+        "editor.hover.enabled": "on"
     },
     "editor.rulers": [
         100