Ledger

opML (Optimistic Machine Learning) employs an optimistic verification mechanism and is able to handle large-scale machine learning models with billions of parameters efficiently, using fraud proofs that verify the ML computation.

A Merkle tree is also known as a hash tree in cryptography. It is a tree where every lead node is labelled with cryptographic hash of a data block, and every non-leaf node is labelled with the hash of the labels of its child nodes. It is used to verify of data stored within it and transferable in and between computers.

Bakkt is a company developed by the Intercontinental Exchange (ICE), owner of the New York Stock Exchange. It specializes in Futures/Options contracts for cryptocurrencies.

Interoperability refers to the property of product/systems that are able to work with products/systems that are different without any restrictions.