Commit Graph

151 Commits

Author SHA1 Message Date
Sean Bowe 72821ec3c5
Fix comments. 2018-10-16 09:26:53 -06:00
Sean Bowe edf8ce1eaf
Fix test for inversion 2018-10-15 22:06:17 -06:00
Sean Bowe da3b663082
Various improvements for arithmetic 2018-10-12 12:29:55 -06:00
Sean Bowe 4551619933
Improve clarify of README 2018-10-12 12:22:49 -06:00
ebfull 09e786ea71
Merge pull request #3 from Eirik0/fq-inverse
Fq inverse (addition chain for fq)
2018-09-26 16:36:11 -06:00
Eirik Ogilvie-Wigley 80a500e1b3 Add test to make sure pow_q_minus_2 equals pow 2018-09-25 16:31:42 -06:00
Eirik Ogilvie-Wigley 15ea7a5917 Convert multiple square_assigns in a row to a single function 2018-09-25 16:23:35 -06:00
Eirik Ogilvie-Wigley 0b6886e9e0 Convert addition chain to rust code 2018-09-19 14:30:03 -06:00
Eirik Ogilvie-Wigley e5bee08e80 Incorporate baseline addition chain for Fq generated by ValarDragon 2018-09-19 14:27:17 -06:00
Eirik Ogilvie-Wigley df7e4711d3 Add benchmark for inversion 2018-09-19 14:18:50 -06:00
ebfull a79a2b0241
Merge pull request #2 from Eirik0/fq-square-assign
Fq square assign
2018-09-10 21:00:12 -06:00
Eirik Ogilvie-Wigley ecf2c11b51 Better variable names 2018-09-10 02:23:54 -06:00
Eirik Ogilvie-Wigley af44c5da70 Make sbb return the result and the carry over 2018-09-09 14:39:28 -06:00
Eirik Ogilvie-Wigley e4b3a57e16 Remove optimizations that the compiler will likely do 2018-09-07 11:05:52 -06:00
Eirik Ogilvie-Wigley 687d5f18c6 Make adc return result and carry over 2018-09-07 10:52:14 -06:00
Eirik Ogilvie-Wigley edb309f50c Use u128 addition rather than u64 overflowing addition 2018-09-07 10:38:51 -06:00
Eirik Ogilvie-Wigley e5f4b4d3a0 Remove redundant test 2018-09-07 10:35:04 -06:00
Eirik Ogilvie-Wigley ae051c98c5 Remove constructor 2018-09-07 10:27:40 -06:00
Eirik Ogilvie-Wigley a556668ea9 Inline addition which does not overflow 2018-09-06 11:06:25 -06:00
Eirik Ogilvie-Wigley 3e1b4e7c70 Update authors and format 2018-09-06 10:58:33 -06:00
Eirik Ogilvie-Wigley 79c7c4a183 Use existing utility functions 2018-09-06 10:54:41 -06:00
Eirik Ogilvie-Wigley d9ed40e96d Incorperate squaring from pairing 2018-09-06 10:19:30 -06:00
Eirik Ogilvie-Wigley 7ff7477e12 Eliminate some additions of zero 2018-09-05 17:06:42 -06:00
Eirik Ogilvie-Wigley 4fd3ca135b Make mac_with_carry return a pair of u64 2018-09-05 16:53:39 -06:00
Eirik Ogilvie-Wigley a00f0e3525 Add benchmark for mul_assign 2018-09-05 14:47:11 -06:00
Eirik Ogilvie-Wigley a08e45c4aa Cleanup and format 2018-09-05 14:38:16 -06:00
Sean Bowe f598e26531
Use _vartime rather than _var to denote variable time functions. 2018-09-02 09:17:42 -06:00
Sean Bowe 16d01207ef
Add some constants and lay out functions for point arithmetic. 2018-09-02 09:16:39 -06:00
Sean Bowe 88ca4f321f
cargo fmt 2018-09-02 08:36:44 -06:00
Sean Bowe f6aea143ed
Beginning of curve arithmetic implementation. 2018-09-02 08:33:52 -06:00
Sean Bowe eb4dc1592f
Add (blank) RELEASES.md file. 2018-09-02 07:44:47 -06:00
Sean Bowe 5bf0cbd0e3
Use code formatting for feature names in README. 2018-09-01 20:42:31 -06:00
Sean Bowe 39eda03c74
Do more sensible things when `std` feature is enabled/disabled. 2018-09-01 14:17:20 -06:00
Sean Bowe c8128b692d
Add tests for Fq operations. 2018-09-01 14:04:48 -06:00
Sean Bowe 27415d25c3
Add `std` and `nightly` features. 2018-08-31 19:53:31 -06:00
Sean Bowe cf210fe586
Implementation of inversion for Fp 2018-08-31 19:49:11 -06:00
Sean Bowe c582e80157
Implementation of Fq 2018-08-31 17:56:51 -06:00
Sean Bowe 5c9a9149e1
Make jubjub bird on README smaller. 2018-08-31 13:41:58 -06:00
Sean Bowe c5268afde7
Add jubjub bird to the README. 2018-08-31 13:41:34 -06:00
Sean Bowe 77545ff089
Don't check in parsed Sagemath files 2018-08-29 19:03:23 -06:00
Sean Bowe 6753a3d051
Add documentation and script for deriving the Jubjub curve 2018-08-29 18:56:33 -06:00
Sean Bowe a8b2875536
Add some documentation related to Jubjub. 2018-08-29 13:02:03 -06:00
Sean Bowe 2dbaff8196 Add 'doc/evidence/' from commit '8f7306ff97456abff0af6517da5c7c1a3f736d6d'
git-subtree-dir: doc/evidence
git-subtree-mainline: 10151c76c7
git-subtree-split: 8f7306ff97
2018-08-29 12:42:33 -06:00
Sean Bowe 10151c76c7
Remove misleading comment inherited from bellman's README. 2018-08-29 12:02:14 -06:00
Sean Bowe 47ac2fc007
Initial commit 2018-08-29 12:00:11 -06:00
Daira Hopwood 8f7306ff97 Add run.sh.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-11-02 06:17:13 +00:00
Daira Hopwood 6280babe1b Change the directory in which the Pocklington proof files are created.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-11-02 06:17:13 +00:00
Daira Hopwood a7aea2312c Refactor to generate the 'primes' file rather than relying on it as input.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-11-02 06:17:13 +00:00
Daira Hopwood 3513811d0f Twisted Edwards support.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-11-02 06:17:12 +00:00
Daira Hopwood c12abad1e9 Add LICENSE and .gitignore. Also fix the curve equation.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2017-11-02 06:16:58 +00:00