Library import mechanism in Scilla

Introduction

Scilla supports deploying both libraries and contract, and each library or contract can import already deployed libraries. This article describes how Scilla loads libraries and what inputs it expects to facilitate this. The mechanism described here applies to both scilla-runner and scilla-checker.

References:

• https://github.com/Zilliqa/scilla/pull/478
• https://github.com/Zilliqa/scilla/pull/507
• https://github.com/Zilliqa/scilla/pull/526
• https://github.com/Zilliqa/scilla-docs/pull/77