Hashi and SafeJunction are permissionless abstraction layers to create secure and future proof dapps. Hashi was designed to avoid bridging lock-ins and to enable higher degrees of security. SafeJunction extends this concept beyond cross-chain bridging, to verifiable arbitrary computations.