English

Demo: Light-Weight Programming Language for Blockchain

Distributed, Parallel, and Cluster Computing 2020-01-13 v1
Authors: Junhui Kim , Joongheon Kim
View on arXiv ↗ PDF ↗

Abstract

This demo abstract introduces a new light-weight programming language koa which is suitable for blockchain system design and implementation. In this abstract, the basic features of koa are introduced including working system (with playground), architecture, and virtual machine operations. Rum-time execution of software implemented by koa will be presented during the session.

Cite

@article{arxiv.2001.03365,
  title  = {Demo: Light-Weight Programming Language for Blockchain},
  author = {Junhui Kim and Joongheon Kim},
  journal= {arXiv preprint arXiv:2001.03365},
  year   = {2020}
}

Related papers

View all related →
Programming Languages · Computer Science
Simplicity: A New Language for Blockchains
Russell O'Connor
2017-12-15
Software Engineering · Computer Science
A Declarative Modelling Framework for the Deployment and Management of Blockchain Applications
Luciano Baresi, Giovanni Quattrocchi, Damian Andrew Tamburri, Luca Terracciano
2022-09-13
Databases · Computer Science
BlockLite: A Lightweight Emulator for Public Blockchains
Xinying Wang, Abdullah Al-Mamun, Feng Yan, Mohammad Sadoghi +1
2019-05-07
Cryptography and Security · Computer Science
A Proof-Producing Compiler for Blockchain Applications
Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer +1
2025-01-28
Programming Languages · Computer Science
Mandala: A Smart Contract Programming Language
Markus Knecht
2019-11-27
Programming Languages · Computer Science
Lolisa: Formal syntax and semantics for a subset of the solidity programming language in Mathematical Tool Coq
Zheng Yang, Hang Lei
2021-01-05
Cryptography and Security · Computer Science
Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
Kiana Kiashemshaki, Elvis Nnaemeka Chukwuani, Mohammad Jalili Torkamani, Negin Mahmoudi
2025-10-06
Cryptography and Security · Computer Science
An Efficient Lightweight Blockchain for Decentralized IoT
Faezeh Dehghan Tarzjani, Mostafa Salehi
2025-08-27
Software Engineering · Computer Science
Blockchain Application Development Using Model-Driven Engineering and Low-Code Platforms: A Survey
Simon Curty, Felix Härer, Hans-Georg Fill
2022-04-08
Software Engineering · Computer Science
Harmonica: A Framework for Semi-automated Design and Implementation of Blockchain Applications
Nicolas Six, Nicolas Herbaut, Camille Salinesi
2022-01-19
Distributed, Parallel, and Cluster Computing · Computer Science
Delay and Communication Tradeoffs for Blockchain Systems with Lightweight IoT Clients
Pietro Danzi, Anders E. Kalør, Čedomir Stefanović, Petar Popovski
2018-10-18
Cryptography and Security · Computer Science
Mastering AI: Big Data, Deep Learning, and the Evolution of Large Language Models -- Blockchain and Applications
Pohsun Feng, Ziqian Bi, Lawrence K. Q. Yan, Yizhu Wen +13
2025-12-24
Distributed, Parallel, and Cluster Computing · Computer Science
A High-throughput and Secure Coded Blockchain for IoT
Amirhossein Taherpour, Xiaodong Wang
2025-01-22
Cryptography and Security · Computer Science
Lightweight Blockchain Solutions: Taxonomy, Research Progress, and Comprehensive Review
Khaleel Mershad, Omar Cheikhrouhou
2023-11-07
Distributed, Parallel, and Cluster Computing · Computer Science
Blockchain Abstract Data Type
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru +1
2018-05-15
Quantum Physics · Physics
ONDA: A High-Level Quantum Programming Language with Sequential Execution and Conditional Branching
Francesco Junior De Gregorio
2025-03-19
Programming Languages · Computer Science
Resources: A Safe Language Abstraction for Money
Sam Blackshear, David L. Dill, Shaz Qadeer, Clark W. Barrett +3
2020-07-24
Software Engineering · Computer Science
Kaya: A Testing Framework for Blockchain-based Decentralized Applications
Zhenhao Wu, Jiashuo Zhang, Jianbo Gao, Yue Li +3
2020-06-03
Quantum Physics · Physics
Programming the full stack of an open-access quantum computer
Virginia Frey, Richard Rademacher, Elijah Durso-Sabina, Noah Greenberg +4
2021-06-15
Cryptography and Security · Computer Science
CodeBC: A More Secure Large Language Model for Smart Contract Code Generation in Blockchain
Lingxiang Wang, Hainan Zhang, Qinnan Zhang, Ziwei Wang +3
2025-05-08
Cryptography and Security · Computer Science
A Review of Quantum and Hybrid Quantum / Classical Blockchain Protocols
Marcus Edwards, Atefeh Mashatan, Shohini Ghose
2022-01-28
Cryptography and Security · Computer Science
Towards a low carbon proof-of-work blockchain
Agron Gemajli, Shivam Patel, Phillip G. Bradford
2024-04-09
Distributed, Parallel, and Cluster Computing · Computer Science
A containerized proof-of-concept implementation of LightChain system
Yahya Hassanzadeh-Nazarabadi, Nazir Nayal, Shadi Sameh Hamdan, Öznur Özkasap +1
2020-07-28
Cryptography and Security · Computer Science
Demo -- Zelig: Customizable Blockchain Simulator
Ege Erdogan, Can Arda Aydin, Oznur Ozkasap, Waris Gill
2021-07-19
Programming Languages · Computer Science
Qumin, a minimalist quantum programming language
Alexander Singh, Konstantinos Giannakis, Theodore Andronikos
2017-04-17
R2 v1 2026-06-23T13:07:47.861Z