2018 · 39 citations · 8 references
EngineeringSemanticsSemantic WebSyntaxLanguage DocumentationInformation RetrievalData ScienceGraph Query LanguageDatabase SystemComputational LinguisticsData IntegrationSemi-structured DataData RetrievalLanguage StudiesQuery LanguageData ManagementQuery LanguagesEthereum Query LanguageEthereum PlatformComputer ScienceQuery AnalysisDatabase TechnologyQuery OptimizationLinguistics
Blockchains store a massive amount of heterogeneous data which will only grow in time. When searching for data on the Ethereum platform, one is required to either access the records (blocks) directly by using a unique identifier, or sequentially search several records to find the desired information. Therefore, we propose the Ethereum Query Language (EQL), a query language that allows users to retrieve information from the blockchain by writing SQL-like queries. The queries provide a rich syntax to specify data elements to search information scattered through several records. We claim that EQL makes it easier to search, acquire, format, and present information from the blockchain.
8
Making Smart Contracts Smarter
Loi Luu, Duc-Hiep Chu, Hrishi Olickel et al. · 2016 · 2.2K citations
Formal Verification of Smart Contracts
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 607 citations · Full text
Ari Juels, Ahmed E. Kosba, Elaine Shi · 2016 · 183 citations