fix: library linking time indeterminism (#185)

Author: hedgar2017

CHANGELOG.md

@@ -14,6 +14,10 @@
 - Moved suppressed messages inside `settings` in standard JSON input
 - Moved EraVM artifacts to `contract.eravm` in standard JSON output
 
+### Fixed
+
+- Different bytecode for compile-time and post-compile-time library linking
+
 ### Deprecated
 
 - Suppressed messages at the root of standard JSON input

Cargo.lock

@@ -21,7 +21,7 @@ The input JSON provides the compiler with the source code and settings for the c
 
 Internally, *zksolc* extracts all *zksolc*-specific options and converts the input JSON to the subset expected by *solc* before calling it.
 
-```json
+```javascript
 {
   // Required: Source code language.
   // Currently supported: "Solidity", "Yul", "LLVM IR", "EraVM Assembly".
@@ -171,7 +171,7 @@ The output JSON contains all artifacts produced by both *zksolc* and *solc* comp
 
 If *solc* is provided to *zksolc*, the output JSON is initially generated by *solc*, and ZKsync-specific data is appended by *zksolc* afterwards. If *solc* is not provided, the output JSON is generated by *zksolc* alone.
 
-```json
+```javascript
 {
   // Required: File-level outputs.
   "sources": {

docs/src/04-standard-json.md

@@ -185,11 +185,8 @@ where
                     .value
                     .ok_or_else(|| anyhow::anyhow!("Instruction value missing"))?;
 
-                Ok(Some(
-                    context
-                        .resolve_library(path.as_str())?
-                        .as_basic_value_enum(),
-                ))
+                era_compiler_llvm_context::eravm_evm_call::linker_symbol(context, path.as_str())
+                    .map(Some)
             }
             InstructionName::PUSH_Data => {
                 let value = self