Author: Dmitry Petukhov 2020-11-25 11:15:55
Published on: 2020-11-25T11:15:55+00:00
The author has created a formal specification of Miniscript using the specification language of Alloy analyzer and shared it on Github. The spec can be used for implementing Miniscript libraries, generating test cases for implementation, checking the implementation against the spec, extending or amending Miniscript, and exploring the properties of Miniscript. The author invites anyone interested in Miniscript to review the spec and share their ideas. However, the spec may contain mistakes as it was not yet checked against any implementation and the author requests anyone who finds an inconsistency to submit an issue on Github.
Updated on: 2023-06-14T16:21:27.061154+00:00