Proof context / Counter Examples (FFI)

[robpangilinanioi]

• Cryptographic functions FFI (Including tests to validate)
• Add scripthash field into the PlutusScript structure and calculate it automatically when executing #import_uplc
• When executing #prep_uplc, it generates a unique structure for each UPLC program. The new structure should include the language and the optimized UPLC code, it should also have the hash generated in the previous step.

[robpangilinanioi]

Could be extended to next sprint/s.

[robpangilinanioi]

Cryptographic part started.

[robpangilinanioi]

Discussion with @RSoulatIOHK for other FFI activities @mpetruska @etiennejf

[robpangilinanioi]

Dependent on some pr getting merged, need to rebase