Commit Graph

31 Commits

Author SHA1 Message Date
Alex Vlasov
d7d2b45441 migrate to community edition 2018-12-08 05:31:26 +08:00
Sean Bowe
c4fd8856ae Make multicore module public for now, because Worker is part of the EvaluationDomain API. 2018-03-31 23:16:55 -06:00
Sean Bowe
86f652fa9f Some minor documentation/changes to domain. 2018-03-04 19:27:33 -07:00
Sean Bowe
f7815f6e49 Remove unused tests and fix documentation. 2018-03-04 18:49:07 -07:00
Sean Bowe
ab1487025f Serialization of parameters and proofs. 2018-03-04 18:49:05 -07:00
Sean Bowe
cb53708767 New implementation of library API. 2018-02-14 12:31:43 -07:00
Sean Bowe
7211d98c1e Implement linear combination addition with coefficient. 2018-01-07 11:31:35 -07:00
Sean Bowe
dc981e6abc Allow linear combinations to be added together. 2017-12-14 16:11:24 -07:00
Sean Bowe
5a88b4f818 Guarantee inheritance of variable type for public constraint system contexts. 2017-12-02 23:30:23 -07:00
Sean Bowe
1fc640e88f Guarantee that we inherit the correct variable type. 2017-11-24 10:14:11 -07:00
Sean Bowe
92029393f6 Guarantee that variables are Copy+Clone. 2017-11-22 22:55:32 -07:00
Sean Bowe
1d394e00f6 Allow linear combination terms to be inspected for downstream evaluation. 2017-11-22 21:11:41 -07:00
Sean Bowe
e54c4bc1b3 Rename to namespace_public. 2017-11-21 14:00:00 -07:00
Sean Bowe
af91dcda33 Infrastructure for public input namespacing. 2017-11-21 13:44:56 -07:00
Sean Bowe
b7f2f9e409 Part one of Bellman being recoded. 2017-11-21 01:59:49 -07:00
Sean Bowe
6d55a4052a Move everything into oldsrc. 2017-11-20 23:01:15 -07:00
Sean Bowe
945d86fe7d Make the namespacing not introduce too much indirection. 2017-11-20 15:50:41 -07:00
Sean Bowe
a1e1aa30b5 More infrastructure for test development. 2017-11-18 20:10:47 -07:00
Sean Bowe
13a5cbf9d5 Modify the public api surrounding multiexp. 2017-11-12 15:52:10 -07:00
Sean Bowe
b15f5f6f43 Fix some warnings and TODO's. 2017-11-12 13:45:13 -07:00
Sean Bowe
d616362884 Add TestConstraintSystem 2017-11-12 13:26:03 -07:00
Sean Bowe
bc19c76326 Change API to support constraint/variable annotation. 2017-11-11 04:50:30 -07:00
Sean Bowe
3148662234 Reimplementation of groth16 using pairing library. 2017-08-22 16:03:04 -06:00
Sean Bowe
bf03be0b9d Starting fresh... 2017-08-07 07:43:39 -06:00
Sean Bowe
fd3774118a Move BitIterator into root of crate. 2017-06-17 19:46:40 -06:00
Sean Bowe
a98e84e09a Move Cow/Convert out of curves module. 2017-05-07 09:39:01 -06:00
Sean Bowe
f1903133ed Rename "groth" to "groth16". 2017-04-04 14:45:10 -06:00
Sean Bowe
d228257da6 Rename to "Input"/"InputMap" 2017-04-04 14:45:10 -06:00
Sean Bowe
c9fbf490dc Implementation of Jens Groth's generic group zk-SNARK proving system. 2017-04-03 21:42:22 -06:00
Sean Bowe
2321ead995 In with the new. 2017-02-27 13:39:30 -07:00
Sean Bowe
c506c48c91 Out with the old... 2017-01-07 20:30:09 -07:00