Skip to content

Use batch verifier in verify_tachyon_aggregates #10434

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
S1nus wants to merge 23 commits into
base: main
Choose a base branch
from
Draft

Use batch verifier in verify_tachyon_aggregates #10434

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
ca5404f
use monorepo dep
S1nus Feb 24, 2026
e90cd4b
update versions
S1nus Feb 24, 2026
5b85ab8
consistent naming convention
S1nus Feb 25, 2026
bc7d36f
use workspace equihash
S1nus Feb 28, 2026
b841eaf
use tachyon::bundle directly in transaction
S1nus Mar 4, 2026
767f585
serde in tachyon, zcash_serialize in zebra
S1nus Mar 4, 2026
cfd0a52
use git deps for librustzcash, and import pasta_curves
S1nus Mar 9, 2026
922c57b
use top level imports instead of inline
S1nus Mar 9, 2026
3bd1198
remove Amount generic
S1nus Mar 9, 2026
79e7e3a
add missing TrustedPreallocate, remove unnecessary Value generics, si…
S1nus Mar 9, 2026
58745a8
use a bit flag to represent tachyon bundle optionality
S1nus Mar 10, 2026
075ae79
freeze tachyon
S1nus Mar 11, 2026
bbf7683
Merge pull request #32 from S1nus/tachyon-w-upstream
S1nus Mar 13, 2026
5565ed8
Add V6 transaction test vectors with tachyon bundle serialization
S1nus Mar 13, 2026
8df2f2a
use main branch of tachyon librustzcash
S1nus Mar 16, 2026
8d11373
ensure tachyon pinned version is the same as librustzcash
S1nus Mar 18, 2026
a1f7348
pregenerate hex strings and ensure they match expected
S1nus Mar 18, 2026
0aa2070
use generator instead of identity, and update hardcoded vectors
S1nus Mar 18, 2026
e681e54
Merge pull request #35 from S1nus/v6-test-vectors
S1nus Mar 19, 2026
99d747d
positional aggregation rules
S1nus Mar 23, 2026
0299edb
updates to stamp verification
S1nus Mar 28, 2026
c4dba19
scaffold tachyon batch verifier in zebra
S1nus Mar 28, 2026
9129802
use the tachyon batch verifier during block verification
S1nus Mar 28, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
133 changes: 90 additions & 43 deletions Cargo.lock
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1422,7 +1422,7 @@ dependencies = [
"libc",
"option-ext",
"redox_users",
"windows-sys 0.60.2",
"windows-sys 0.59.0",
]

[[package]]
Expand Down Expand Up @@ -1550,8 +1550,7 @@ dependencies = [
[[package]]
name = "equihash"
version = "0.2.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ca4f333d4ccc9d23c06593733673026efa71a332e028b00f12cf427b9677dce9"
source = "git+https://github.com/tachyon-zcash/librustzcash.git?branch=main#0909972999e21f6ac179d24926f323660bc6aeb6"
dependencies = [
"blake2b_simd",
"cc",
Expand Down Expand Up @@ -1582,7 +1581,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb"
dependencies = [
"libc",
"windows-sys 0.60.2",
"windows-sys 0.52.0",
]

[[package]]
Expand All @@ -1598,8 +1597,7 @@ dependencies = [
[[package]]
name = "f4jumble"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0d42773cb15447644d170be20231a3268600e0c4cea8987d013b93ac973d3cf7"
source = "git+https://github.com/tachyon-zcash/librustzcash.git?branch=main#0909972999e21f6ac179d24926f323660bc6aeb6"
dependencies = [
"blake2b_simd",
]
Expand Down Expand Up @@ -1941,9 +1939,9 @@ dependencies = [

[[package]]
name = "halo2_gadgets"
version = "0.3.1"
version = "0.4.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "73a5e510d58a07d8ed238a5a8a436fe6c2c79e1bb2611f62688bc65007b4e6e7"
checksum = "45824ce0dd12e91ec0c68ebae2a7ed8ae19b70946624c849add59f1d1a62a143"
dependencies = [
"arrayvec",
"bitvec",
Expand Down Expand Up @@ -1979,9 +1977,9 @@ dependencies = [

[[package]]
name = "halo2_proofs"
version = "0.3.1"
version = "0.3.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "019561b5f3be60731e7b72f3f7878c5badb4174362d860b03d3cf64cb47f90db"
checksum = "05713f117155643ce10975e0bee44a274bcda2f4bb5ef29a999ad67c1fa8d4d3"
dependencies = [
"blake2b_simd",
"ff",
Expand Down Expand Up @@ -2775,7 +2773,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "07033963ba89ebaf1584d767badaa2e8fcec21aedea6b8c0346d487d49c28667"
dependencies = [
"cfg-if",
"windows-targets 0.53.3",
"windows-targets 0.52.6",
]

[[package]]
Expand Down Expand Up @@ -3015,6 +3013,19 @@ dependencies = [
"windows-sys 0.59.0",
]

[[package]]
name = "mock_ragu"
version = "0.0.0"
source = "git+https://github.com/S1nus/tachyon.git?rev=f79ae92e4c4a775929a06add99fcf3925f5fef82#f79ae92e4c4a775929a06add99fcf3925f5fef82"
dependencies = [
"blake2b_simd",
"ff",
"lazy_static",
"pasta_curves",
"rand_core 0.6.4",
"serde",
]

[[package]]
name = "mset"
version = "0.1.1"
Expand Down Expand Up @@ -3183,9 +3194,9 @@ checksum = "04744f49eae99ab78e0d5c0b603ab218f515ea8cfe5a456d7629ad883a3b6e7d"

[[package]]
name = "orchard"
version = "0.11.0"
version = "0.12.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b1ef66fcf99348242a20d582d7434da381a867df8dc155b3a980eca767c56137"
checksum = "6c01cd4ea711aab5f263f2b7aa6966687a2d6c7df4f78eb1b97a66a7a4e78e3b"
dependencies = [
"aes",
"bitvec",
Expand All @@ -3205,6 +3216,7 @@ dependencies = [
"nonempty",
"pasta_curves",
"rand 0.8.5",
"rand_core 0.6.4",
"reddsa",
"serde",
"sinsemilla",
Expand Down Expand Up @@ -3870,7 +3882,7 @@ dependencies = [
"once_cell",
"socket2 0.6.0",
"tracing",
"windows-sys 0.60.2",
"windows-sys 0.52.0",
]

[[package]]
Expand Down Expand Up @@ -4325,7 +4337,7 @@ dependencies = [
"errno",
"libc",
"linux-raw-sys",
"windows-sys 0.60.2",
"windows-sys 0.52.0",
]

[[package]]
Expand Down Expand Up @@ -4408,9 +4420,9 @@ dependencies = [

[[package]]
name = "sapling-crypto"
version = "0.5.0"
version = "0.6.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f9d3c081c83f1dc87403d9d71a06f52301c0aa9ea4c17da2a3435bbf493ffba4"
checksum = "5433ab8c1cd52dfad3b903143e371d5bdd514ab7952f71414e6d66a5da8223cd"
dependencies = [
"aes",
"bellman",
Expand Down Expand Up @@ -5031,7 +5043,7 @@ dependencies = [
"getrandom 0.3.3",
"once_cell",
"rustix",
"windows-sys 0.60.2",
"windows-sys 0.52.0",
]

[[package]]
Expand Down Expand Up @@ -6224,7 +6236,7 @@ version = "0.1.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c2a7b1c03c876122aa43f3020e6c3c3ee5c05081c9a00739faf7503aeba10d22"
dependencies = [
"windows-sys 0.60.2",
"windows-sys 0.52.0",
]

[[package]]
Expand Down Expand Up @@ -6504,9 +6516,9 @@ dependencies = [

[[package]]
name = "xdg"
version = "2.5.2"
version = "3.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "213b7324336b53d2414b2db8537e56544d981803139155afa84f76eeebb7a546"
checksum = "2fb433233f2df9344722454bc7e96465c9d03bff9d77c248f9e7523fe79585b5"

[[package]]
name = "yaml-rust2"
Expand Down Expand Up @@ -6545,9 +6557,8 @@ dependencies = [

[[package]]
name = "zcash_address"
version = "0.10.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "16da37aff6d1a72a917e649cd337ab750c87efc6eeb36d75a47a9a2f71df195f"
version = "0.10.1"
source = "git+https://github.com/tachyon-zcash/librustzcash.git?branch=main#0909972999e21f6ac179d24926f323660bc6aeb6"
dependencies = [
"bech32",
"bs58",
Expand All @@ -6560,18 +6571,17 @@ dependencies = [
[[package]]
name = "zcash_encoding"
version = "0.3.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bca38087e6524e5f51a5b0fb3fc18f36d7b84bf67b2056f494ca0c281590953d"
source = "git+https://github.com/tachyon-zcash/librustzcash.git?branch=main#0909972999e21f6ac179d24926f323660bc6aeb6"
dependencies = [
"core2",
"hex",
"nonempty",
]

[[package]]
name = "zcash_history"
version = "0.4.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2fde17bf53792f9c756b313730da14880257d7661b5bfc69d0571c3a7c11a76d"
source = "git+https://github.com/tachyon-zcash/librustzcash.git?branch=main#0909972999e21f6ac179d24926f323660bc6aeb6"
dependencies = [
"blake2b_simd",
"byteorder",
Expand All @@ -6581,8 +6591,7 @@ dependencies = [
[[package]]
name = "zcash_keys"
version = "0.12.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c115531caa1b7ca5ccd82dc26dbe3ba44b7542e928a3f77cd04abbe3cde4a4f2"
source = "git+https://github.com/tachyon-zcash/librustzcash.git?branch=main#0909972999e21f6ac179d24926f323660bc6aeb6"
dependencies = [
"bech32",
"blake2b_simd",
Expand All @@ -6593,7 +6602,9 @@ dependencies = [
"group",
"memuse",
"nonempty",
"orchard",
"rand_core 0.6.4",
"sapling-crypto",
"secrecy",
"subtle",
"tracing",
Expand All @@ -6619,9 +6630,8 @@ dependencies = [

[[package]]
name = "zcash_primitives"
version = "0.26.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b6d9e2a8ea37c3b839dc9079747a25789f50cd6a374086e23fc90951e2bcfa37"
version = "0.26.4"
source = "git+https://github.com/tachyon-zcash/librustzcash.git?branch=main#0909972999e21f6ac179d24926f323660bc6aeb6"
dependencies = [
"bip32",
"blake2b_simd",
Expand All @@ -6641,6 +6651,7 @@ dependencies = [
"memuse",
"nonempty",
"orchard",
"pasta_curves",
"rand 0.8.5",
"rand_core 0.6.4",
"redjubjub",
Expand All @@ -6656,15 +6667,15 @@ dependencies = [
"zcash_protocol",
"zcash_script",
"zcash_spec",
"zcash_tachyon 0.0.0 (git+https://github.com/tachyon-zcash/tachyon.git?rev=a441c0cba73c9accebac324abdbd28b2f9701dd5)",
"zcash_transparent",
"zip32",
]

[[package]]
name = "zcash_proofs"
version = "0.26.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bf3e1bc0e9006a7fd2e6bb4603b1ad512f87c2e092851a9e1f5282df7dbc87d0"
version = "0.26.1"
source = "git+https://github.com/tachyon-zcash/librustzcash.git?branch=main#0909972999e21f6ac179d24926f323660bc6aeb6"
dependencies = [
"bellman",
"blake2b_simd",
Expand All @@ -6674,7 +6685,6 @@ dependencies = [
"home",
"jubjub",
"known-folders",
"lazy_static",
"rand_core 0.6.4",
"redjubjub",
"sapling-crypto",
Expand All @@ -6686,14 +6696,14 @@ dependencies = [

[[package]]
name = "zcash_protocol"
version = "0.7.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "01fb174be84135a00fd3799161835e46f320d0028dd9446fdbd97a8d928456b6"
version = "0.7.2"
source = "git+https://github.com/tachyon-zcash/librustzcash.git?branch=main#0909972999e21f6ac179d24926f323660bc6aeb6"
dependencies = [
"core2",
"document-features",
"hex",
"memuse",
"zcash_encoding",
]

[[package]]
Expand All @@ -6702,8 +6712,10 @@ version = "0.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9bed6cf5b2b4361105d4ea06b2752f0c8af4641756c7fbc9858a80af186c234f"
dependencies = [
"bip32",
"bitflags 2.9.4",
"bounded-vec",
"hex",
"ripemd 0.1.3",
"secp256k1",
"sha1",
Expand All @@ -6720,11 +6732,41 @@ dependencies = [
"blake2b_simd",
]

[[package]]
name = "zcash_tachyon"
version = "0.0.0"
source = "git+https://github.com/tachyon-zcash/tachyon.git?rev=a441c0cba73c9accebac324abdbd28b2f9701dd5#a441c0cba73c9accebac324abdbd28b2f9701dd5"
dependencies = [
"blake2b_simd",
"ff",
"group",
"lazy_static",
"pasta_curves",
"rand_core 0.6.4",
"reddsa",
]

[[package]]
name = "zcash_tachyon"
version = "0.0.0"
source = "git+https://github.com/S1nus/tachyon.git?rev=f79ae92e4c4a775929a06add99fcf3925f5fef82#f79ae92e4c4a775929a06add99fcf3925f5fef82"
dependencies = [
"blake2b_simd",
"ff",
"group",
"halo2_poseidon",
"lazy_static",
"mock_ragu",
"pasta_curves",
"rand_core 0.6.4",
"reddsa",
"serde",
]

[[package]]
name = "zcash_transparent"
version = "0.6.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "539b66f06f6bbdc135b9dc0dba879b0b354b4078d498cd1c4dae28038ec90a33"
version = "0.6.3"
source = "git+https://github.com/tachyon-zcash/librustzcash.git?branch=main#0909972999e21f6ac179d24926f323660bc6aeb6"
dependencies = [
"bip32",
"blake2b_simd",
Expand All @@ -6733,6 +6775,7 @@ dependencies = [
"document-features",
"getset",
"hex",
"nonempty",
"ripemd 0.1.3",
"secp256k1",
"sha2 0.10.9",
Expand Down Expand Up @@ -6764,6 +6807,7 @@ dependencies = [
"dirs",
"ed25519-zebra",
"equihash",
"ff",
"futures",
"group",
"halo2_proofs",
Expand All @@ -6775,6 +6819,7 @@ dependencies = [
"lazy_static",
"num-integer",
"orchard",
"pasta_curves",
"primitive-types",
"proptest",
"proptest-derive",
Expand Down Expand Up @@ -6808,6 +6853,7 @@ dependencies = [
"zcash_primitives",
"zcash_protocol",
"zcash_script",
"zcash_tachyon 0.0.0 (git+https://github.com/S1nus/tachyon.git?rev=f79ae92e4c4a775929a06add99fcf3925f5fef82)",
"zcash_transparent",
"zebra-test",
]
Expand Down Expand Up @@ -6852,6 +6898,7 @@ dependencies = [
"tracing-subscriber",
"zcash_proofs",
"zcash_protocol",
"zcash_tachyon 0.0.0 (git+https://github.com/S1nus/tachyon.git?rev=f79ae92e4c4a775929a06add99fcf3925f5fef82)",
"zebra-chain",
"zebra-node-services",
"zebra-script",
Expand Down
Loading
Loading