Prefix specifier to all environment variables

TritonVM / triton-vm

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

https://triton-vm.org

Apache License 2.0

223 stars 35 forks source link

Prefix specifier to all environment variables #267

Closed Sword-Smith closed 1 month ago

Sword-Smith commented 2 months ago

All environment variables used by triton-vm should have a prefix to avoid name collisions with other software. The prefix could for example be TVM_, TRITONVM_, or TRITON_VM_.

jan-ferdinand commented 2 months ago

I identify the following environment variables across our crates. Note that the scope of this issue is not the entire list, but only the first paragraph “Triton VM”.

Triton VM

PROFILE_AS_YOU_GO
TVM_CACHE_LDE_TRACE^1

twenty-first

MERKLE_TREE_PARALLELIZATION_CUTOFF

tasm-lib

TRITON_TUI
DYING_TO_PROVE

tasm-lang

DYING_TO_PROVE

Neptune Core

DYING_TO_PROVE