From c4cfa50cf98bc45e479d71b8a8dfdaeb5d6af2a0 Mon Sep 17 00:00:00 2001
From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Thu, 12 Jan 2023 12:13:21 -0800
Subject: [PATCH] retarget bellman dependency to our fork (mirage impl) (#132)

---
 Cargo.lock | 7 ++++---
 Cargo.toml | 2 +-
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 8a68d592..f08a42d7 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -115,9 +115,8 @@ checksum = "bed554bd50246729a1ec158d08aa3235d1b69d94ad120ebe187e28894787e736"
 
 [[package]]
 name = "bellman"
-version = "0.12.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e323bc53df375ffa4eab01c7cfded9bfbc45bbb9f8b917e81f946c9eb087db2b"
+version = "0.13.1"
+source = "git+https://github.com/alex-ozdemir/bellman.git?branch=mirage#60176d5b003bd409d1f62aa802e4b3b9bc35b66b"
 dependencies = [
  "bitvec",
  "blake2s_simd",
@@ -127,8 +126,10 @@ dependencies = [
  "group",
  "lazy_static",
  "log",
+ "merlin",
  "num_cpus",
  "pairing",
+ "rand_chacha 0.3.1",
  "rand_core 0.6.3",
  "rayon",
  "subtle",
diff --git a/Cargo.toml b/Cargo.toml
index de805c87..cdec85c5 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -23,7 +23,7 @@ zokrates_pest_ast = { path = "third_party/ZoKrates/zokrates_pest_ast", optional
 typed-arena = "2.0"
 log = "0.4"
 thiserror = "1.0"
-bellman = { version = "0.12", optional = true }
+bellman = { git = "https://github.com/alex-ozdemir/bellman.git", branch = "mirage", optional = true }
 ff = "0.12"
 fxhash = "0.2"
 good_lp = { version = "1.1", features = ["lp-solvers", "coin_cbc"], default-features = false, optional = true }