ProofOfKeags

{-# LANGUAGE DeriveGeneric      #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE MultiWayIf #-}
{-# LANGUAGE OverloadedStrings  #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE NoImplicitPrelude  #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TemplateHaskell    #-}
-- Otherwise we get a complaint about the 'fromIntegral' call in the generated instance of 'Integral' for 'Ada'

ProofOfKeags

{-# LANGUAGE DeriveGeneric      #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE MultiWayIf #-}
{-# LANGUAGE OverloadedStrings  #-}
{-# LANGUAGE NoImplicitPrelude  #-}
{-# LANGUAGE TemplateHaskell    #-}
-- Otherwise we get a complaint about the 'fromIntegral' call in the generated instance of 'Integral' for 'Ada'
{-# OPTIONS_GHC -Wno-identities #-}
{-# OPTIONS_GHC -fno-omit-interface-pragmas #-}

ProofOfKeags

Keybase proof

I hereby claim:

• I am proofofkeags on github.
• I am proofofkeags (https://keybase.io/proofofkeags) on keybase.
• I have a public key ASDgjJL3iIyjdfFrYnwTqO8nZUwvhObQqTP2DXMIhZwTZwo

To claim this, I am signing this object:

ProofOfKeags

Preface

I have completed my evaluations of the various proposals that are being publicly evaluated by the Bitcoin development community. The proposals themselves and the endorsement grid can be found here

Before I embark on a discussion as to my specific thoughts on each of the proposals in that grid. I want to talk about my general philosophy on what makes a good addition to the Bitcoin Script VM environment.

The purpose of the Bitcoin Script VM is to be able to determine whether or not a transaction should be valid. At the end of the day the output of the Bitcoin Script VM is a simple "Yes" or "No" to whether this input should be considered spendable by this