]>
2019-04-25 | Julien Moutinho | protocol: add key derivation | tree | commitdiff |
2019-04-25 | Julien Moutinho | protocol: polish comments | tree | commitdiff |
2019-04-25 | Julien Moutinho | protocol: add Ballot | tree | commitdiff |
2019-04-24 | Julien Moutinho | protocol: change F to be a Natural, not an Integer. | tree | commitdiff |
2019-04-24 | Julien Moutinho | protocol: add Utils.{Constraint,Natural,MeasuredList} | tree | commitdiff |
2019-04-22 | Julien Moutinho | protocol: Fix Credential | tree | commitdiff |
2019-04-22 | Julien Moutinho | protocol: Rename {Arith -> Arithmetic} | tree | commitdiff |
2019-04-22 | Julien Moutinho | protocol: Fix Election | tree | commitdiff |
2019-04-22 | Julien Moutinho | protocol: Fix Credential | tree | commitdiff |
2019-04-22 | Julien Moutinho | protocol: Fix Arith | tree | commitdiff |
2019-04-22 | Julien Moutinho | protocol: Add Election | tree | commitdiff |
2019-04-22 | Julien Moutinho | protocol: Add Credential | tree | commitdiff |
2019-04-22 | Julien Moutinho | protocol: Add Arith | tree | commitdiff |