Abstract: The present invention relates to a method of converting logic written in software code into text, comprising: converting the code to a structured format that represents the logic described in each function of said code as a tree of elements, and mapping the elements of the structured format into corresponding counterparts in a target language for obtaining a text translation of the structured format.

Abstract: The present invention relates to a system and a method which receives as an input transactions and a smart contract code, and provides as an output an analysis of possible issues such as possible security attacks or bugs found in the smart contract code that may exist in the smart contract code that was input to the blockchain-based system. More specifically, the present invention relates to the way data is stored in decentralized systems such as blockchain-based systems, to identify base paths and then alters the base paths looking for an attack, in a guided way.

Abstract: A system comprising a blockchain computer system that hosts an original smart contract and stores and maintains a blockchain ledger, and an off-chain computer system that is configured to automatically perform an off-chain comparison between the behavior of the original smart contract and a new smart contract and accordingly to provide an insight.

Abstract: The present invention relates to a method of converting logic written in software code into text, comprising: converting the code to a structured format that represents the logic described in each function of said code as a tree of elements, and mapping the elements of the structured format into corresponding counterparts in a target language for obtaining a text translation of the structured format.

Abstract: Apparatus (20) for measuring a volume of a fluid (38) in a container (24) having a length and a circumference. The apparatus includes one or more gauges (28A, 28B, 28C, 28D) that are configured for coupling to the container. Each gauge includes a hollow, at least partially transparent structure (30, 32, 34) containing a lumen, which is segregated from contact with the fluid in the container and which extends along at least a part of the length and around at least a part of the circumference when the gauge is coupled to the container. A measurement liquid, contained in the lumen, in an amount selected so that a level of the measurement liquid provides a tilt-invariant measurement point (36A, 36B, 36C, 36D) indicative of the volume of the fluid in the container.