Search Results
Simplicity: A New Language for Blockchains
The Bit Machine is used as a tool for measuring the computational space and time resources needed to evaluate Simplicity programs.
Programming Languages
Eliza: A Web3 friendly AI Agent Operating System
AI Agent, powered by large language models (LLMs) as its cognitive core, is an intelligent agentic system capable of autonomously controlling and determining the execution paths under user's instructions.
Combatting Front-Running in Smart Contracts: Attack Mining, Benchmark Construction and Vulnerability Detector Evaluation
Front-running attacks have been a major concern on the blockchain.
Software Engineering
BlockEmulator: An Emulator Enabling to Test Blockchain Sharding Protocols
However, we have not yet found a testbed that enables researchers to develop and evaluate their new consensus algorithms or new protocols for blockchain sharding systems.
Cryptography and Security Distributed, Parallel, and Cluster Computing
Harvey: A Greybox Fuzzer for Smart Contracts
First, Harvey extends standard greybox fuzzing with a method for predicting new inputs that are more likely to cover new paths or reveal vulnerabilities in smart contracts.
Software Engineering Cryptography and Security
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
Smart contracts are blockchain programs that often handle valuable assets.
Cryptography and Security Software Engineering
Scilla: a Smart Contract Intermediate-Level LAnguage
This paper outlines key design principles of Scilla---an intermediate-level language for verified smart contracts.
Programming Languages
SAMM: Sharded Automated Market Maker
This is because the execution of existing AMMs is non-parallelizable.
Distributed, Parallel, and Cluster Computing Cryptography and Security
Formal Specification and Verification of Smart Contracts for Azure Blockchain
In this paper, we describe the formal verification of Smart Contracts offered as part of the Azure Blockchain Content and Samples on github.
Programming Languages F.3.1
Flint for Safer Smart Contracts
As smart contracts cannot be updated after deployment, it is imperative that the programming language supports the development of robust contracts.
Programming Languages Cryptography and Security
