2020-10-24 | Christian Urban | updated | file | diff | annotate |
2019-07-23 | Christian Urban | proved cubic size bound for partial derivatives | file | diff | annotate |
2019-02-23 | Christian Urban | adapted the Bitcoded correctness proof to using AALTs | file | diff | annotate |
2019-02-20 | Christian Urban | added size bounds for partial derivatives | file | diff | annotate |
2019-02-17 | Christian Urban | updated | file | diff | annotate |
2019-02-11 | Christian Urban | added cardinality proof of Antimirov | file | diff | annotate |
2019-02-11 | Christian Urban | added partial derivative proof from Antimirov | file | diff | annotate | base |