2019-05-10 | Christian Urban | updated | file | diff | annotate |
2019-04-11 | Christian Urban | updated | file | diff | annotate |
2019-03-16 | Christian Urban | updated | file | diff | annotate |
2019-03-13 | Christian Urban | updated | file | diff | annotate |
2019-02-23 | Christian Urban | adapted the Bitcoded correctness proof to using AALTs | file | diff | annotate |
2019-02-17 | Christian Urban | updated | file | diff | annotate | base |