Skip to content

Commit ec712fd

Browse files
authored
Merge pull request #1413 from o1-labs/dw/use-updated-circuits
Update directory name for devnet circuit blobs
2 parents 4d950d8 + 1d2066d commit ec712fd

File tree

3 files changed

+5
-7
lines changed

3 files changed

+5
-7
lines changed

.gitignore

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -16,8 +16,6 @@ tests.tsv
1616
# Generated API docs should not be committed
1717
website/static/api-docs/
1818

19-
ledger/3.0.0devnet
2019
ledger/3.0.0mainnet
21-
ledger/3.0.1devnet
22-
ledger/berkeley_rc1
23-
mina-workdir
20+
ledger/berkeley-devnet
21+
mina-workdir

Makefile

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -195,9 +195,9 @@ clean: ## Clean build artifacts
195195
.PHONY: download-circuits
196196
download-circuits: ## Download the circuits used by Mina from GitHub
197197
@if [ ! -d "circuit-blobs" ]; then \
198-
git clone --depth 1 https://github.com/o1-labs/circuit-blobs.git; \
198+
git clone --depth 1 https://github.com/o1-labs/circuit-blobs.git -b dw/add-berkeley-687bf44e97328e1cc0e85291663009410f64bd99; \
199199
ln -s "$$PWD"/circuit-blobs/3.0.0mainnet ledger/; \
200-
ln -s "$$PWD"/circuit-blobs/3.0.1devnet ledger/; \
200+
ln -s "$$PWD"/circuit-blobs/berkeley-devnet ledger/; \
201201
else \
202202
echo "circuit-blobs already exists, skipping download."; \
203203
fi

core/src/network.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -159,7 +159,7 @@ pub mod devnet {
159159
};
160160

161161
pub const CIRCUITS_CONFIG: CircuitsConfig = CircuitsConfig {
162-
directory_name: "3.0.1devnet",
162+
directory_name: "berkeley-devnet",
163163

164164
step_transaction_gates: "step-step-proving-key-transaction-snark-transaction-0-c33ec5211c07928c87e850a63c6a2079",
165165
wrap_transaction_gates:

0 commit comments

Comments
 (0)