Re: [bitcoin-dev] Formal specification of Miniscript in Alloy

2020-11-25 Thread Dmitry Petukhov via bitcoin-dev
В Wed, 25 Nov 2020 09:43:10 -0600 Clark Moody wrote: > Thanks for this! I can't comment on the correctness of your > implementation, but I really appreciate the idea and effort. > > By chance, did you come across any other spec definitions in alternate > formal grammars? As far as I know, this

Re: [bitcoin-dev] Formal specification of Miniscript in Alloy

2020-11-25 Thread Clark Moody via bitcoin-dev
Thanks for this! I can't comment on the correctness of your implementation, but I really appreciate the idea and effort. By chance, did you come across any other spec definitions in alternate formal grammars? -Clark On Wed, Nov 25, 2020 at 5:35 AM Dmitry Petukhov via bitcoin-dev < bitcoin-dev@

[bitcoin-dev] Formal specification of Miniscript in Alloy

2020-11-25 Thread Dmitry Petukhov via bitcoin-dev
I have created a formal specification of Miniscript [1] using the specification language of Alloy analyzer [2] Link: https://github.com/dgpv/miniscript-alloy-spec Possible uses for the spec: - Implementing Miniscript libraries, as additional reference that might be easier to navigate than pros