]>
2019-05-01 | Julien Moutinho | protocol: fix hash (remove last comma) | tree | commitdiff |
2019-04-29 | Julien Moutinho | protocol: handle list length checks in the library | tree | commitdiff |
2019-04-25 | Julien Moutinho | protocol: add key derivation | 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: Add Election | tree | commitdiff |
2019-04-22 | Julien Moutinho | protocol: Add Credential | tree | commitdiff |
2019-04-22 | Julien Moutinho | protocol: Add Arith | tree | commitdiff |