Closed jovfer closed 1 year ago
Thanks @jovfer, considering that this is a breaking change to the proof representation and it only provides a minor improvement around proof computation we will keep this PR open until we consider other breaking changes that it could be adopted with.
Discussed on the 12th of December WG call, given the improvement in readability for this proposal is minor and the performance difference is likely to be negligible we are not going to proceed with this change for now, closing the PR on that basis, please re-open if you have any further questions.
Fix #224