zebra/zebra-test/src/vectors/orchard-shielded-data-3.txt

2 lines
24 KiB
Plaintext
Raw Normal View History

Async Halo2 verifier service (#2645) * First pass at async Halo2 verification service Stubs out a batch verifier for the future. The dependencies for orchard, halo2, librustzcash, zcash_primitives, have not been resolved. * Halo2 verifier service and test * Remove redundant conversion * Test async halo2 verifier service with pre-computed Orchard shielded data test vectors * Fix typo Co-authored-by: Conrado Gouvea <conrado@zfnd.org> * Assert future result is_ok() in Halo2 verifier test Co-authored-by: Janito Vaqueiro Ferreira Filho <janito.vff@gmail.com> * Shorten tower::Service trait constraints for Halo2 verifier tests * Remove commented out trait constraints * .expect() vs .unwrap() to parse orchard::redpallas::VerificationKey * Use .to_vec() for some test vectors * Fix self-referential Display impl * Fix deps * Distinguish orchard vs zebra_chain::orchard imports * Add test that halo2 verifier fails with malformed proof inputs * Use thiserror for Halo2Error * Use ZcashFoundation/orchard instead of dconnolly/orchard * Add a link to the issue to remove the zfnd fork of orchard crate * Update zebra-consensus/Cargo.toml Co-authored-by: teor <teor@riseup.net> * Add note * Move artificial Orchard shielded data test vectors to zebra-test * Align brackets * Tidy some trait constraints and debug statements Co-authored-by: Janito Vaqueiro Ferreira Filho <janito.vff@gmail.com> Co-authored-by: Conrado Gouvea <conrado@zfnd.org> Co-authored-by: Janito Vaqueiro Ferreira Filho <janito.vff@gmail.com> Co-authored-by: teor <teor@riseup.net>
2021-11-16 19:26:15 -08:00
038bbed0eea64e53a836cb658a81ccbee399066d13ae228fd522b72005c634c32efc8a0c8af8efb5e8e787aa81878ce795448a10da0338fa656878172617e9d1023ddb4b0c06d73de4b93ee138d69fe5ee5a8a4805a4d9ed68d82398673a9b613418695f4451acc0e637458f50083e37bc6b6c150bec8b14cf8753a67b1b813933f3083f93912ec4fa9a197a60c2c3ed12938769ee9aebd0b5cdfd559b998ec38abfc92eac5f7bc1dbf15cf0a5e3ff583e7e93962779526da764e511c503fc81f2702b4f394e5c8f235c51827730d79c29ae113da8fc57373236b5dfddc390df95e60a2ccd18ed567afcf72908e2348d7e37d788572c1f8af169e243f2b7ea734d2805ac711b2fd21660e319be03998f0b92db88b25697584170cd8e0a66829f6b86ef9b37127d3ee990d79adeddb2b42fed879d0164246f0c2f3c6c488f7ada3d55bcf98baa6c59f75c6035dfefe06e92a9e581ee78c3b228bc1d0786ad35b4dc512a5f5ee61a6cb05edd7c7255e6b63b3de0a1adf6c3566cf48ba798255575f1f7661179f16839e132b9931059e4ade7f403804d2f67b8819fd4dc1c188acdc962c8f80709669f0da9dd0d71be404eb30b46226457e77e9c70809f87f8bee97a4bd1101642c13f664102c87d42571eabf1fcd8f1a5cf126879e78519bc02c655fa3eb84b36607b36024a3e3288e10345154117119c61d3ab15cdf956d6a1e0748d21556c225ebc5fac32b7f5af3c6d021521651684e0b6e99cff393e20f7bb3c1e07509ded8ff29c1f3aa6e693c12012610144f82b6a31b14f339cfa8eda191c87aea675567c974c3955fd332f3a473fd6e8094167bee64b4ac039cf4e1bb2904307a44eb891c3716ca58facefdbf917afd8bb6b4c82307e7fff081ecd18c2d20e4d5f6e37c57ba994b9131827b8a4fc3f0b687de6c14e4d9deff9850d2b4835f95433e9fdde0159b8a6d89b5e01c052866a85e4cc813727cbf351e2505be63b486e11b1fb6344cd237824c0f2fdea0dfc234f67aa937b84a03cba9cf2f645751d5e8e8858feb2c6b05198f4a5f38d6b9a1b63a6ca463919b34afea26d00fd58ebb557c3af00fe60c9662aebd9a2ca409c0ec85f7378046dba0aa8d1d4a01739ac7a52cb81cf5ed79201c596e7571dda61f246af632ac2165692a77fe84975a2be143f2ba97bf74717d5eba89f9ab1e3c86ec509ef8a06c8e784d58fd7b6606cc0ee46aac629ef6093ca7fca4829d324d6100d358e536214c60ea702d77b50b2b60089a41300fe24b25f0223eaffa7e13bc03a33087e67800d1cd6b443a3eb485c637c4328b6030067a721d89bf43f1d74ba84151062eb7e06d776a36a126aef289e0b69a9da11be97c79210f82d3f8236c5c21cec2c237733204ed245fe171fddc036496e543c5321d3747d1af5a4229d04f57a45ca8be67bb518064823d900c32e01ff22585271a8c677e690d1a65084bac6691e9bc97a07a016abe5be9ba3d4b0e36326dadce76f5bdcfad6b779b8ebf6bf7feca6eb55f0879a0d73ceeae890d7e13eff56219058f1c8cac0dae07884ad0cafd07abeb52eb2dafa035193e6bcbfa51941e26977d4e2771d2eb7ea65e10ca868abe5690788ae66ec1136bcec8bce4854d4e2e5be6aa154a4e40f8d0ea144e8e1ca8cd7f8e203b0f05c3f2f6ace4b716a211c89fb1774daae3f2d82870adbec5802e4d3f35a211e8a93e04f855caaebf54220280bbcf8d943b3d734324324cf9658065f8083c8fdf6918bd5443f7fda3b618f0a79cab02dcab66847e4372b5400afe1132af4a77bf27826548afc33310e5dd21fd4c7a229bea19c5316478e57228a14475302806382972aeb24ed6325e32b42374148d179ca4c9145e674504844e3272461bfcba5e566f26f9fc0d11bd920751a7da806f735fdef2d32bf4386b436ce920a66b52fb2b1d70792dc051a2df4fbf36e9b7a53e3c34e2cbb15f47cedad766a38b66ab119afb12753067a23f0e35f6bee30fbd885cc0f361e5a0657ca8ae5e2eadc4bfeb23e00d946f3b6c0da72352c85d415bd892cfc3a63b60ebdbcb6d5a93ce6bd80e9236085eadae1876403b7bc5eb3018c49088f27709ab764c35edbf197ab55a8ff32f973b23c4f8b7c3cf280990e709bcc8993db5a52d1add3c2497abf1ebc891e7dc4f46f2d992d18964f832dd7b358a6b475b4e07fa6220796c6e750433cfc7d7975f0a5e801ef5e218259b636d46d64c60832315814408e1e9bf004a96187966f42aeb3ce50e42752af9331aded60a895ba4c310190ca5fcf75362174706a6ee0ab3696b2c96d49363d1cc5dd87eb879ba14d61eea15ba820db9fe761d1d1b34077922844d15c8b8687fc97573d0a6bb60f099a8a5c797960f9266f0d824e40eff824d821f9616bb41fa61077fb0a9fcee9f908325d7c7cb2e31fddfcf86972ccc6950d9c306a0af05b08070113e429c24ccd8663a279d31a575d9c7b63e69ea6e109cf7e3e690ae2bafd1ca5e95860f5cbd59d957b18f5da9a1364ba83d4e6bfeed0163d5b10a61b4a0190129b2cf5ad76529465622f754bddb6b8d145d4bf963d926e1295b7f889e761ca8f623646b23ccd12a36fcfabd4d0986ff2b52b801fedd9241ab1153cc1df4ea2d6daef950f399093f0d1944dc2ca40528603d5987e78174b92a7eb61b2b231a8d461e80b6ea754d19bb38cab65aec4c01a99f07da7dc408b812adc5cfbd26b71495bc6cb8e48e6d8ef7adcf4737e5a9333f04a68def528f7458df64c04f5924acecb2ad9c066e358f454d0618b3900d376c2b401601ac15123581290b7f192e45cb7b62ec633425799f54a98d0d1e313119021c1cba2b37a1bc8c43489eee760f2f2d0b4db6d37412612d7d9a64ab957edd47e8f5cf5b