build: add download_params.sh (#5)

This commit is contained in:
HAOYUatHZ
2022-09-27 17:59:26 +08:00
committed by GitHub
parent 5bd4e4a352
commit 3492ab11b3
3 changed files with 12 additions and 0 deletions

2
.gitignore vendored Normal file
View File

@@ -0,0 +1,2 @@
assets/params*
assets/seed

0
assets/.gitkeep Normal file
View File

10
scripts/download_params.sh Executable file
View File

@@ -0,0 +1,10 @@
#!/bin/bash
set -uex
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" > /dev/null 2>&1 && pwd)"
PROJ_DIR=$DIR"/.."
mkdir -p $PROJ_DIR/assets/params
wget https://circuit-release.s3.us-west-2.amazonaws.com/circuit-release/release-0804-degree25/test_seed $PROJ_DIR/assets/seed
wget https://circuit-release.s3.us-west-2.amazonaws.com/circuit-release/release-0804-degree25/test_params/params18 -O $PROJ_DIR/assets/params/params18
wget https://circuit-release.s3.us-west-2.amazonaws.com/circuit-release/release-0804-degree25/test_params/params25 -O $PROJ_DIR/assets/params/params25