BTC Lisp as an alternative to Script

[ajtowns]

@instagibbs

I’d like to see an apples/apples comparison to code diff but I suspect 80%+ of that diff is things like COQ proofs and other supporting infrastructure, not something that is required in the consensus code itself.

To see the consensus code changes, you’d look at things like jets.c or primitives/elements/jets.c or eval.c or exec.c. There’s also a tweaked implementation of secp256k1 (~26k lines) included. I don’t think any of the haskell (~29k lines) or coq (~6k lines) code is included in the elements PR (and hence not in that +41k figure either).