Use batch validation for Sapling proofs and signatures

Cargo.toml

@@ -56,7 +56,7 @@ zcash_encoding = "0.1"
 zcash_history = "0.3"
 zcash_note_encryption = "0.1"
 zcash_primitives = { version = "0.7", features = ["transparent-inputs"] }
-zcash_proofs = "0.7"
+zcash_proofs = "0.7.1"
 ed25519-zebra = "3"
 zeroize = "1.4.2"
 

qa/supply-chain/audits.toml

@@ -7,6 +7,12 @@ description = "The cryptographic code in this crate has been reviewed for correc
 [criteria.license-reviewed]
 description = "The license of this crate has been reviewed for compatibility with its usage in this repository. If the crate is not available under the MIT license, `contrib/debian/copyright` has been updated with a corresponding copyright notice for files under `depends/*/vendored-sources/CRATE_NAME`."
 
+[[audits.bellman]]
+who = "Jack Grigg <jack@z.cash>"
+criteria = ["crypto-reviewed", "safe-to-deploy"]
+delta = "0.13.0 -> 0.13.1"
+notes = "Adds multi-threaded batch validation, which I checked against the existing single-threaded batch validation."
+
 [[audits.equihash]]
 who = "Jack Grigg <jack@z.cash>"
 criteria = "safe-to-deploy"
@@ -21,25 +27,13 @@ notes = "The ECC core team maintains this crate, and we have reviewed every line
 
 [[audits.f4jumble]]
 who = "Jack Grigg <jack@z.cash>"
-criteria = "crypto-reviewed"
-version = "0.1.0"
-notes = "The ECC core team maintains this crate, and we have reviewed every line."
-
-[[audits.f4jumble]]
-who = "Jack Grigg <jack@z.cash>"
-criteria = "safe-to-deploy"
-version = "0.1.0"
-notes = "The ECC core team maintains this crate, and we have reviewed every line."
-
-[[audits.halo2_gadgets]]
-who = "Jack Grigg <jack@z.cash>"
-criteria = "crypto-reviewed"
+criteria = ["crypto-reviewed", "safe-to-deploy"]
 version = "0.1.0"
 notes = "The ECC core team maintains this crate, and we have reviewed every line."
 
 [[audits.halo2_gadgets]]
 who = "Jack Grigg <jack@z.cash>"
-criteria = "safe-to-deploy"
+criteria = ["crypto-reviewed", "safe-to-deploy"]
 version = "0.1.0"
 notes = "The ECC core team maintains this crate, and we have reviewed every line."
 
@@ -51,13 +45,7 @@ notes = "The ECC core team maintains this crate, and we have reviewed every line
 
 [[audits.halo2_proofs]]
 who = "Jack Grigg <jack@z.cash>"
-criteria = "crypto-reviewed"
-version = "0.1.0"
-notes = "The ECC core team maintains this crate, and we have reviewed every line."
-
-[[audits.halo2_proofs]]
-who = "Jack Grigg <jack@z.cash>"
-criteria = "safe-to-deploy"
+criteria = ["crypto-reviewed", "safe-to-deploy"]
 version = "0.1.0"
 notes = "The ECC core team maintains this crate, and we have reviewed every line."
 
@@ -69,13 +57,7 @@ notes = "The ECC core team maintains this crate, and we have reviewed every line
 
 [[audits.orchard]]
 who = "Jack Grigg <jack@z.cash>"
-criteria = "crypto-reviewed"
-version = "0.1.0"
-notes = "The ECC core team maintains this crate, and we have reviewed every line."
-
-[[audits.orchard]]
-who = "Jack Grigg <jack@z.cash>"
-criteria = "safe-to-deploy"
+criteria = ["crypto-reviewed", "safe-to-deploy"]
 version = "0.1.0"
 notes = "The ECC core team maintains this crate, and we have reviewed every line."
 
@@ -105,25 +87,13 @@ notes = "The ECC core team maintains this crate, and we have reviewed every line
 
 [[audits.zcash_note_encryption]]
 who = "Jack Grigg <jack@z.cash>"
-criteria = "crypto-reviewed"
-version = "0.1.0"
-notes = "The ECC core team maintains this crate, and we have reviewed every line."
-
-[[audits.zcash_note_encryption]]
-who = "Jack Grigg <jack@z.cash>"
-criteria = "safe-to-deploy"
+criteria = ["crypto-reviewed", "safe-to-deploy"]
 version = "0.1.0"
 notes = "The ECC core team maintains this crate, and we have reviewed every line."
 
 [[audits.zcash_primitives]]
 who = "Jack Grigg <jack@z.cash>"
-criteria = "crypto-reviewed"
-version = "0.6.0"
-notes = "The ECC core team maintains this crate, and we have reviewed every line."
-
-[[audits.zcash_primitives]]
-who = "Jack Grigg <jack@z.cash>"
-criteria = "safe-to-deploy"
+criteria = ["crypto-reviewed", "safe-to-deploy"]
 version = "0.6.0"
 notes = "The ECC core team maintains this crate, and we have reviewed every line."
 
@@ -135,19 +105,19 @@ notes = "The ECC core team maintains this crate, and we have reviewed every line
 
 [[audits.zcash_proofs]]
 who = "Jack Grigg <jack@z.cash>"
-criteria = "crypto-reviewed"
+criteria = ["crypto-reviewed", "safe-to-deploy"]
 version = "0.6.0"
 notes = "The ECC core team maintains this crate, and we have reviewed every line."
 
 [[audits.zcash_proofs]]
 who = "Jack Grigg <jack@z.cash>"
-criteria = "safe-to-deploy"
-version = "0.6.0"
+criteria = ["crypto-reviewed", "safe-to-deploy"]
+delta = "0.6.0 -> 0.7.0"
 notes = "The ECC core team maintains this crate, and we have reviewed every line."
 
 [[audits.zcash_proofs]]
 who = "Jack Grigg <jack@z.cash>"
 criteria = ["crypto-reviewed", "safe-to-deploy"]
-delta = "0.6.0 -> 0.7.0"
+delta = "0.7.0 -> 0.7.1"
 notes = "The ECC core team maintains this crate, and we have reviewed every line."