Thank you for your interst. I disclosed the core verification algorithm to make the procedure reviewable. https://github.com/nakatahr/gridbach-core