Commit graph

Select branches

Hide pull requests

master

Mono Color

• 74b2aa715f Require Rotation instead of i32 for relative rows in circuits. Kris Nuttycombe 2020-12-23 09:45:16 -0700
• 483cb1139f Remove rotations from ConstraintSystem Kris Nuttycombe 2020-12-23 09:47:19 -0700
• 968ac8b0d4
  Merge pull request #141 from zcash/more-clippy-lints ebfull 2021-01-14 09:11:01 -0700
• e4dac4f621
  clippy: remove unnecessarily explicit lifetimes and return types Sean Bowe 2021-01-14 08:53:19 -0700
• daf54ddec9
  Merge pull request #140 from zcash/clippy-lints ebfull 2021-01-14 08:51:00 -0700
• d95e4e4724
  clippy: Remove unnecessary Result Jack Grigg 2021-01-14 13:29:19 +0000
• ec8c925587
  doc: Fix broken intra-doc link Jack Grigg 2021-01-14 13:26:58 +0000
• 95314d0f69
  clippy: Add type definitions for complex types Jack Grigg 2021-01-14 13:20:54 +0000
• 75915f67ed
  clippy: Small cleanups Jack Grigg 2021-01-14 13:16:56 +0000
• 6dd7595438
  clippy: Remove useless actions Jack Grigg 2021-01-14 13:14:44 +0000
• 6983bd1bbc
  clippy: Use Option::ok_or_else to construct errors from functions Jack Grigg 2021-01-14 13:12:27 +0000
• 6c6b30dde4
  Merge pull request #139 from zcash/remove-eval-from-multiopen-prover ebfull 2021-01-14 08:33:54 -0700
• 288a21ef1e Replace the Tonelli-Shanks sqrt algorithm with the table-based one. Daira Hopwood 2021-01-13 13:56:13 +0000
• c5e48fdd06 Address @ebfull's review comments. Daira Hopwood 2021-01-13 00:12:12 +0000
• af9834d68c Implement sqrt_alt, a more efficient way of doing sqrt_ratio(num, one()). Daira Hopwood 2021-01-10 16:51:18 +0000
• 806748fbc4 Use addition chains for powering by (T-1)/2. Daira Hopwood 2021-01-10 15:22:24 +0000
• 227025b7b3 Avoid exposing implementation details of the square root implementation. Daira Hopwood 2021-01-10 00:23:13 +0000
• e13ee2c8ff Add sqrt_ratio implementation. Daira Hopwood 2021-01-04 23:39:52 +0000
• ec2d8db8cb
  Multiopen prover never needed evals to be specified. Sean Bowe 2021-01-13 17:22:32 -0700
• ccca639591
  Merge pull request #111 from zcash/transcript-api-2 ebfull 2021-01-13 16:50:47 -0700
• 1f510016d8
  Simplifications to some logic. Sean Bowe 2021-01-13 15:51:48 -0700
• 775151a67d
  Change absorb_ to read_ in subprotocols. Sean Bowe 2021-01-13 15:47:35 -0700
• 9a26ef1acd
  Refactor the Committed structure. Sean Bowe 2021-01-13 15:44:37 -0700
• cc6b0bb7f2
  Rename blind to \xi for consistency. Sean Bowe 2021-01-13 15:24:44 -0700
• 47d021ceb3
  Add reference to issue in TODO comment. Sean Bowe 2021-01-13 08:41:14 -0700
• 5413049a10
  Merge pull request #130 from daira/fix-w-numbering Daira Hopwood 2021-01-13 12:15:28 +0000
• adf1c2f451
  Merge pull request #113 from zcash/avoid-square-challenges Daira Hopwood 2021-01-13 12:14:36 +0000
• 0caf66b261 [Book] Fix W numbering in SHA-256 table16 doc. Daira Hopwood 2021-01-09 15:27:47 +0000
• 1e4b449934
  Merge pull request #125 from zcash/circuit-traits ebfull 2021-01-12 09:23:21 -0700
• e1a772d6e1
  Remove transcript forking API. Sean Bowe 2020-12-24 12:33:45 -0700
• f308eb969c
  Remove deterministic square root calculation as it's no longer needed. Sean Bowe 2020-12-24 12:32:43 -0700
• 98c1d80c90
  Avoid square challenges and forking in inner product argument Sean Bowe 2020-12-24 12:27:05 -0700
• 8ed9bb7bf3
  Merge pull request #134 from zcash/book-design-sections str4d 2021-01-12 10:32:34 +1300
• afdb4a8981 book: Add design notes about implementation of proofs Jack Grigg 2021-01-11 21:18:58 +0000
• fb411b12e8 book: Reorganize design subsections Jack Grigg 2021-01-11 21:07:45 +0000
• 6d7e9afdb7
  Merge pull request #133 from zcash/eli15 str4d 2021-01-12 09:50:56 +1300
• f8c5c2e28e book: Add background material Jack Grigg 2021-01-11 20:34:30 +0000
• 1b4b5a301b
  Merge pull request #132 from zcash/book-patch-compression-2 ying tong 2021-01-11 23:57:07 +0800
• d23fcd1ccd [book] SHA-256: add compression digest gate therealyingtong 2021-01-11 13:45:20 +0800
• 42aebe01d8
  Merge pull request #131 from zcash/book-patch-compression-1 ying tong 2021-01-11 01:30:25 +0800
• 34defb4577 Remove unnecessary spreads for a_new, e_new therealyingtong 2021-01-11 00:42:21 +0800
• c920bdf9a6 Split choice table into two tables therealyingtong 2021-01-10 14:45:53 +0800
• 67c4790ce6
  Merge pull request #129 from zcash/mdbook-update str4d 2021-01-09 15:44:16 +1300
• 30b1c0c1ad Use mdbook 0.4.5 Jack Grigg 2021-01-09 02:37:05 +0000
• c944268671
  Merge pull request #128 from zcash/book-patch-compression ying tong 2021-01-09 01:30:28 +0800
• 42988ce1d0 [book] sha256: Simplify compression region to reuse message schedule gates therealyingtong 2021-01-08 22:54:10 +0800
• 9612656fd6
  Merge pull request #126 from zcash/mockprover-lint-fix str4d 2021-01-08 15:27:46 +1300
• d94e9b3daf Remove unnecessary trailing semicolon Jack Grigg 2021-01-08 02:22:16 +0000
• f24b60b5b0 Add a placeholder module for gadgets Jack Grigg 2021-01-08 01:55:10 +0000
• 7e2406cc77 Implement a simple single-chip layouter Jack Grigg 2021-01-08 01:54:28 +0000
• 17da891b25 General traits and structs for implementing circuits Jack Grigg 2020-12-15 00:36:58 +0000
• c968ea8091
  Merge pull request #95 from zcash/mock-prover str4d 2021-01-08 11:40:18 +1300
• 2d81d762ad
  Merge pull request #123 from zcash/book-patch-sha256-1 ying tong 2021-01-08 00:25:54 +0800
• 68166c27ac Remove superfluous selector columns therealyingtong 2021-01-08 00:24:21 +0800
• 08da49353e Fix clippy lints in MockProver Jack Grigg 2021-01-07 12:42:04 +0000
• 8590211585 Remove unnecessary parts from MockProver per review comments Jack Grigg 2021-01-05 22:51:40 +0000
• 49f1598c0e Add example to MockProver documentation Jack Grigg 2020-12-23 19:33:31 +0000
• 64b06735bf Expose MockProver in crate, and add documentation Jack Grigg 2020-12-23 19:32:39 +0000
• fb939f17a9 Add permutation check to MockProver therealyingtong 2020-12-22 13:56:30 +0800
• 6eebf3994b Add MockProver for developing circuits Jack Grigg 2020-12-21 23:00:39 +0000
• c8dedf2ec3
  Fix challenge multiplications as per #119. Sean Bowe 2021-01-06 10:47:06 -0700
• c5e0364962
  Remove the Read/Write type parameters from Transcript{Read,Write}. Sean Bowe 2020-12-23 16:20:27 -0700
• dff5a3a692
  Generate the URS using a homebrew mixture of blake2b and try-and-increment. Sean Bowe 2020-12-23 16:09:17 -0700
• a2999accb5
  Rename DummyHash{Reader,Writer} to DummyHash{Read,Write}. Sean Bowe 2020-12-23 15:40:09 -0700
• 7ffd28a1b5
  Remove unnecessary separate msm from commitment::verify_proof. Sean Bowe 2020-12-23 15:37:34 -0700
• 4ecbfb548e
  Remove unnecessary lifetimes. Sean Bowe 2020-12-23 15:34:07 -0700
• 06552eec44
  Update the PLONK implementation to adapt to the new transcript API. Sean Bowe 2020-12-23 13:03:31 -0700
• 5be7d9525d
  Update multiopen APIs to reflect changes made to Transcript APIs Sean Bowe 2020-12-21 15:59:41 -0700
• d30c6b62e4
  Modification of the polynomial commitment scheme to compensate for Transcript API changes. Sean Bowe 2020-12-21 12:34:51 -0700
• fb232ddec0
  Change API for dealing with transcripts to integrate proof reading/writing. Sean Bowe 2020-12-21 11:01:22 -0700
• fb37172ffa
  Merge pull request #119 from zcash/fix-rust-breakage str4d 2021-01-07 04:15:00 +1300
• 0ed37a937f
  Merge pull request #122 from zcash/book-patch-compression ying tong 2021-01-06 20:41:42 +0800
• 1a3fccd71b [book] Fix compression table formatting therealyingtong 2021-01-06 20:41:13 +0800
• b0fc9a0b37
  Merge pull request #121 from zcash/book-sha256-compression ying tong 2021-01-06 20:31:11 +0800
• 38c78b8c50 [book] Add compression region to table16.md therealyingtong 2021-01-06 20:30:28 +0800
• ac75aac455 CI: Set toolchain for book tests Jack Grigg 2021-01-06 00:43:16 +0000
• f49e1e6177 Fix breakage of trait resolution in Rust 1.49.0 Jack Grigg 2021-01-06 00:00:27 +0000
• 26346adb9b
  Merge pull request #118 from zcash/book-patch-sha256-4 ying tong 2021-01-04 23:57:01 +0800
• 29738d4214 Add sb1 selector therealyingtong 2020-12-28 22:40:14 +0800
• 71c26f0497
  Merge pull request #115 from zcash/book-patch-sha256-3 ying tong 2020-12-28 15:11:43 +0800
• 50e6920ed7 Standardise notation and add sb column to check subpieces therealyingtong 2020-12-28 14:55:47 +0800
• a4c874ed24
  Merge pull request #114 from daira/book-concepts Daira Hopwood 2020-12-26 15:46:20 +0000
• e932352390 Rename 'Background' to 'Proof systems' and add a note about intermediate values. Daira Hopwood 2020-12-26 15:45:15 +0000
• fcb176aeb1 Apply suggestions from code review Daira Hopwood 2020-12-25 21:38:18 +0000
• f23677cea9 [book] Write Concepts section. Daira Hopwood 2020-12-25 12:56:25 +0000
• 591ab49266 Add book/Makefile for local HTML generation. This is mainly useful for syntax checking rather than to produce good-quality output. It assumes that pandoc is installed. Daira Hopwood 2020-12-26 15:32:09 +0000
• 659655a4de
  Merge pull request #112 from zcash/book-patch-sha256-2 ying tong 2020-12-24 20:37:40 +0800
• 2c3cda4b01 (cont.) Patch message scheduling table therealyingtong 2020-12-24 17:51:24 +0800
• d47c83febf
  Merge pull request #109 from zcash/fix-book-tests str4d 2020-12-23 17:41:08 +0000
• d34e82f31c
  Merge pull request #106 from zcash/refactor-permutation-argument ebfull 2020-12-23 09:41:24 -0700
• a4029222fd book: Fix book tests by adding missing definitions to SHA-256 page Jack Grigg 2020-12-23 16:13:44 +0000
• 2fe7daa6f4
  Merge pull request #108 from zcash/book-patch-sha256 ying tong 2020-12-23 21:21:13 +0800
• a14c538b55 Update message scheduling table therealyingtong 2020-12-23 16:31:09 +0800
• d7abe3ca00
  Merge pull request #98 from zcash/book-sha256 ying tong 2020-12-23 13:35:37 +0800
• 00cb254141 Inline sigma_0 v1 in message scheduling region therealyingtong 2020-12-23 13:33:33 +0800
• 935e806821
  Merge pull request #107 from zcash/book-reorg str4d 2020-12-23 03:32:44 +0000
• 8f8a8e0772 book: Move multipoint argument into design section Jack Grigg 2020-12-23 03:26:45 +0000
• d5bae060f3 book: Zero-index message schedule in the giant table Jack Grigg 2020-12-23 03:09:26 +0000
• 7fabdc1fe4 book: Mark diagram as plaintext so it doesn't get tested Jack Grigg 2020-12-23 02:54:35 +0000
• 0a9c130276 book: Fix table formatting Jack Grigg 2020-12-23 02:51:43 +0000