* convert simple proof to ics23 proof * add CHANGELOG entries * Apply suggestions from code review Co-authored-by: Federico Kunze <31522760+fedekunze@users.noreply.github.com>
* convert simple proof to ics23 proof * add CHANGELOG entries * Apply suggestions from code review Co-authored-by: Federico Kunze <31522760+fedekunze@users.noreply.github.com>