saymrwulf/pasta_curves-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/pasta_curves-source.git synced 2026-09-12 21:20:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Commit graph

  • 7d37ff370b book: Fix internal links in Table16 chip Jack Grigg 2020-12-23 02:46:28 +0000
  • 8cf0cdeda3 book: Update TOC entry for SHA-256 chip Jack Grigg 2020-12-23 02:44:33 +0000
  • 00b33bd48e book: Rework documentation of modular addition for SHA-256 chip Jack Grigg 2020-12-23 02:42:53 +0000
  • 151adc83dd book: Document SHA-256 chip instructions and gadget interface Jack Grigg 2020-12-23 02:11:06 +0000
  • 90c50fdd11 Refactor permutation proofs to reflect the separate permutations Jack Grigg 2020-12-22 23:51:32 +0000
  • d2c0c8b623 book: Remove trailing whitespace Jack Grigg 2020-12-22 21:35:20 +0000
  • e4d5ddecb2 book: Use 0-indexing for message scheduling table16.md therealyingtong 2020-12-23 00:50:39 +0800
  • fc4497ac7c book: Bring in second SHA-256 table spec page from HackMD therealyingtong 2020-12-22 23:09:36 +0800
  • 6abcc70928 book: Bring in first SHA-256 table spec page from HackMD therealyingtong 2020-12-22 22:23:20 +0800
  • 38b93d3af6
         Merge pull request #90 from zcash/lookup-argument-book-page str4d 2020-12-22 21:29:32 +0000
  • c2742c0d05 book: Edit the lookup argument page to fit the design section Jack Grigg 2020-12-22 21:23:32 +0000
  • d41e8ef364 book: Move general PLONK language differences to top of design section Jack Grigg 2020-12-22 21:09:05 +0000
  • c1fe1537c1 book: Update authors Jack Grigg 2020-12-22 20:45:55 +0000
  • e9e208e3c4 book: Bring in the lookup argument description from HackMD Jack Grigg 2020-12-15 16:02:45 +0000
  • 3f856e3066
         Merge pull request #91 from zcash/book-multipoint str4d 2020-12-22 20:42:01 +0000
  • 68ac6b4542
         Merge pull request #105 from zcash/permutation-construction str4d 2020-12-22 20:38:31 +0000
  • 92d9fb3225 book: Annotate ASCII diagrams as plaintext Jack Grigg 2020-12-22 20:30:56 +0000
  • 62cace289b Add a few comments to the permutation construction code Jack Grigg 2020-12-22 20:20:58 +0000
  • 1ba246f7d9 book: Document the permutation construction algorithm Jack Grigg 2020-12-22 20:18:53 +0000
  • d237eae796
         Merge pull request #104 from zcash/refactor-permutation-keygen ebfull 2020-12-22 12:24:11 -0700
  • 838d21f2be Refactor permutation keygen to reflect the separate permutations Jack Grigg 2020-12-22 18:11:42 +0000
  • 910d6c3bea
         Merge pull request #97 from zcash/domain-fixups ebfull 2020-12-22 10:15:35 -0700
  • 9df7b5386f
         Account more rigorously for the degrees of permutations' and lookups' constraints. Sean Bowe 2020-12-22 08:54:41 -0700
  • 65ed1d8568
         Check h_evals/h_commitments lengths in vanishing argument verifier. Sean Bowe 2020-12-22 08:38:22 -0700
  • bd73089123
         Merge pull request #96 from zcash/metrics-update str4d 2020-12-22 13:49:30 +0000
  • c8e6fd9dfd Pin all metrics crate dependencies Jack Grigg 2020-12-22 12:28:31 +0000
  • 8389389d37 model: metrics 0.13.0-alpha.13 Jack Grigg 2020-12-22 12:27:36 +0000
  • e8a229fd31 Add small set interpolation to tips-and-tricks therealyingtong 2020-12-17 16:39:36 +0800
  • 9d8d5fc6d9 Add multipoint opening explanation to concepts/multipoint-opening.md therealyingtong 2020-12-17 16:10:07 +0800
  • 69d987644c
         Merge pull request #88 from zcash/book-bits ebfull 2020-12-13 10:38:26 -0700
  • c25b7e7d09
         cargo fmt Sean Bowe 2020-12-13 10:37:32 -0700
  • 7c0e56a44e
         Merge pull request #84 from zcash/pasta-curves ebfull 2020-12-13 08:51:52 -0700
  • 1c0daa5478
         Add leading zeroes to hex in some constants. Sean Bowe 2020-12-11 13:24:32 -0700
  • 0101014268
         Use constants where applicable in field implementations ebfull 2020-12-11 11:54:32 -0700
  • 2aea582865
         book: Note that roots don't have to be constant str4d 2020-12-11 18:45:14 +0000
  • 653cb6ca88
         book: Use \cdot for multiplications str4d 2020-12-11 18:36:46 +0000
  • 8f929888af
         book: Describe a lookup table as representing a relation str4d 2020-12-11 18:34:59 +0000
  • e1c770a591 book: Add some more placeholder sections to the user guide Jack Grigg 2020-12-10 20:43:01 +0000
  • 2a7df99478 book: Start collecting tips and tricks Jack Grigg 2020-12-10 20:35:36 +0000
  • e16946f56b CI: Build crate and make it available to book tests Jack Grigg 2020-12-10 20:18:32 +0000
  • a9146ae472 book: Add KaTeX support Jack Grigg 2020-12-10 20:09:47 +0000
  • 7e5ed236ba
         Merge pull request #86 from zcash/vanishing-argument ebfull 2020-12-08 08:49:44 -0700
  • 8360b94f89 Extract plonk::vanishing::{Argument, Proof} from prover and verifier therealyingtong 2020-12-02 23:16:37 +0800
  • 81345e0cf1
         Change ZETA constant of Fp to make it consistent with the endomorphism over Fq. Sean Bowe 2020-12-07 09:42:33 -0700
  • cf734f7875
         Merge pull request #53 from zcash/lookup ebfull 2020-12-07 09:33:19 -0700
  • e5f55a8576 Abstract add_rotation() helper in plonk::circuit therealyingtong 2020-12-06 07:19:44 +0800
  • 4273bbb2ba [Documentation] Consistently use zero-based numbering therealyingtong 2020-12-06 06:58:48 +0800
  • 30c13d5a6a Further cleanups ying tong 2020-12-05 12:51:28 +0800
  • e7c4213537
         Remove duplicative from_bytes_wide method in fq.rs; it already exists in the trait impl for FieldExt. Sean Bowe 2020-12-04 17:22:02 -0700
  • 3b91899a19
         Make comment consistent between fq.rs / fp.rs Sean Bowe 2020-12-04 15:01:44 -0700
  • adff5b8747
         Merge pull request #87 from zcash/book-skeleton ebfull 2020-12-04 14:35:24 -0700
  • 0bc95f2776 Add initial book skeleton Jack Grigg 2020-12-04 17:19:17 +0000
  • e21c72a5a6 CI: Run book tests Jack Grigg 2020-12-04 16:15:06 +0000
  • cb54205600 Actions workflow to deploy book to GH Pages Jack Grigg 2020-12-04 16:14:54 +0000
  • c10e89ab35 Initialise empty mdBook Jack Grigg 2020-12-04 16:13:04 +0000
  • ecc805fa35 Correct privacy of lookup structs + minor cleanups ying tong 2020-12-04 09:18:28 +0800
  • 6c0e6f7348
         cargo fmt Sean Bowe 2020-12-03 13:59:17 -0700
  • 95e41fcfcf
         Rename curves to Pallas/Vesta (Pasta). Sean Bowe 2020-12-03 13:45:13 -0700
  • 7536af8b69
         Implement Fp/Fq for the Pallas and Vesta curves. Sean Bowe 2020-12-03 13:13:40 -0700
  • 2284bbd0d8 Deduplicate Argument::commit_permuted() and rename {input,table}_values -> {input,table}_columns therealyingtong 2020-12-03 13:40:35 +0800
  • 9a3d1b1d05 Optimisations and documentation updates therealyingtong 2020-12-03 12:39:44 +0800
  • e51ab7eaa7 Linearise state transition from Argument -> Permuted -> Committed therealyingtong 2020-12-03 11:56:22 +0800
  • 0a85e93714 Add lookup to circuit and test therealyingtong 2020-12-02 03:48:19 +0800
  • 0c81e9adab Use lookup mod in plonk::prover and plonk::verifier therealyingtong 2020-12-02 03:00:59 +0800
  • 19c1b20063 Add lookup::verifier methods therealyingtong 2020-12-01 17:11:47 +0800
  • c692311a12 Add Evaluated::open() and Evaluated::build() to lookup::prover therealyingtong 2020-12-01 16:46:11 +0800
  • 6ccf58fc7c Add Constructed::evaluate() to lookup::prover therealyingtong 2020-12-01 16:33:23 +0800
  • 39df4954b5 Add Committed::construct() to lookup::prover therealyingtong 2020-12-01 16:19:07 +0800
  • 2d0f4a11e3 Add commit_product() to lookup::prover therealyingtong 2020-12-01 15:30:52 +0800
  • 46eed7be93 Add commit_permuted() in lookup::prover therealyingtong 2020-12-01 15:22:11 +0800
  • 02344eb711 Add lookup mod and structs therealyingtong 2020-12-01 14:53:20 +0800
  • 2ba44cff9f Add theta challenge therealyingtong 2020-12-01 14:44:14 +0800
  • 5d891e029d Add fixed_values to ProvingKey therealyingtong 2020-12-01 14:35:56 +0800
  • ae20f75f7a
         Merge pull request #83 from zcash/touchups ebfull 2020-12-02 16:28:13 -0700
  • 2e65229920
         Remove unnecessary Clone impl from plonk::permutation::prover::Committed. Sean Bowe 2020-12-02 09:14:36 -0700
  • a5d04725bd
         We depend on subtle 2.3 for Option<T>: From<CtOption<T>>. Sean Bowe 2020-12-02 09:13:42 -0700
  • d5927d66c0
         Merge pull request #70 from zcash/internal-api ebfull 2020-12-02 08:54:36 -0700
  • ee13dbca1a
         Merge pull request #81 from zcash/wasm-targets ebfull 2020-12-01 15:42:30 -0700
  • 4d4c79be58 Move Challenge and ChallengeScalar into the transcript module Jack Grigg 2020-12-01 22:40:54 +0000
  • 2e6ca274a4 Fix challenge types in poly::multiopen and poly::commitment Jack Grigg 2020-12-01 22:34:18 +0000
  • 3d6afd7b8e permutation: Clean up opening chains Jack Grigg 2020-12-01 22:09:50 +0000
  • dd3d1dd68b Small type annotation cleanups Jack Grigg 2020-12-01 21:49:07 +0000
  • f0723dbbcc multiopen: Rename [x_4, x_5] challenges to [x_1, x_2] Jack Grigg 2020-12-01 21:42:32 +0000
  • eb7ce442f9 Rename ChallengeX6 to ChallengeZ Jack Grigg 2020-12-01 21:23:05 +0000
  • 914d150a6b CI: Build for WASM targets Jack Grigg 2020-12-01 21:00:47 +0000
  • a63e6e25d8 Restrict visibility of PLONK challenges to plonk module Jack Grigg 2020-12-01 21:14:14 +0000
  • 7422efca72 s/permutation::Proof::commit/permutation::Argument::commit Jack Grigg 2020-12-01 14:16:31 +0000
  • 66240800a3 Move permutation keygen into plonk::permutation::keygen Jack Grigg 2020-12-01 02:09:03 +0000
  • f63f3ff2af Introduce typed challenge scalars Jack Grigg 2020-11-25 19:26:31 +0000
  • 63e3bc1e15 Remove unnecessary Transcript::init_with_hashers constructor Jack Grigg 2020-11-25 19:13:45 +0000
  • 4a3b830165 Extract permutation argument into a submodule Jack Grigg 2020-11-25 00:49:52 +0000
  • 3bcfe7825f
         Merge pull request #61 from zcash/ff-traits ebfull 2020-12-01 13:59:06 -0700
  • cdbc41148a Migrate to ff traits Jack Grigg 2020-11-13 00:08:08 +0000
  • a66cc66f82
         Merge pull request #59 from zcash/optimise-polycommit str4d 2020-11-30 20:25:53 +0000
  • 72471dc07e Clippy fixes therealyingtong 2020-11-12 16:09:26 +0800
  • 0b2ec8965f Update documentation in polycommit verifier therealyingtong 2020-11-12 15:32:00 +0800
  • d168f5c21b Parallelize and rename methods in msm.rs therealyingtong 2020-11-12 14:14:01 +0800
  • f86fce83ef
         Merge pull request #71 from zcash/use-latest-stable str4d 2020-11-27 15:44:26 +0000
  • a0a9538132 Use renamed broken_intra_doc_links lint Jack Grigg 2020-11-27 14:40:37 +0000
  • e5e6700e10 Pin most recent metrics alpha Jack Grigg 2020-11-25 19:56:52 +0000