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 |