Initial commit

.env.example

@@ -0,0 +1,3 @@
+ETHERSCAN_API_KEY=ABC123ABC123ABC123ABC123ABC123ABC1
+ROPSTEN_URL=https://eth-ropsten.alchemyapi.io/v2/<YOUR ALCHEMY KEY>
+PRIVATE_KEY=0xabc123abc123abc123abc123abc123abc123abc123abc123abc123abc123abc1

.github/workflows/ci.yaml

@@ -0,0 +1,61 @@
+name: ci
+
+on: [push]
+
+jobs:
+  tests:
+    name: Tests with Foundry
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          submodules: recursive
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+        with:
+          version: nightly
+
+      - name: Install Huff
+        uses: huff-language/huff-toolchain@v2
+        with:
+          version: nightly
+
+      - name: Run Tests
+        run: forge test -vvv
+
+  scripts:
+    strategy:
+      fail-fast: true
+    name: Run Scripts
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          submodules: recursive
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+        with:
+          version: nightly
+
+      - name: Install Huff
+        uses: huff-language/huff-toolchain@v2
+        with:
+          version: nightly
+
+      - name: Run Forge build
+        run: |
+          forge --version
+          forge build --sizes
+        id: build
+        continue-on-error: true
+
+      - name: Run scripts
+        run: |
+          ls -lsa
+          ls script/
+          for file in script/*; do
+            forge script $file -vvvv
+          done

.gitignore

@@ -0,0 +1,22 @@
+# Any Node Modules
+node_modules/
+
+# Environment Variables
+.env
+.env.prod
+
+# Cached Build
+cache/
+out/
+
+# Vscode
+.vscode/
+
+# huffc artifacts
+artifacts
+
+# Ignore flattened files
+flattened.txt
+
+# Ignore Broadcasts
+broadcast

.gitmodules

@@ -0,0 +1,9 @@
+[submodule "lib/foundry-huff"]
+	path = lib/foundry-huff
+	url = https://github.com/huff-language/foundry-huff
+[submodule "lib/forge-std"]
+	path = lib/forge-std
+	url = https://github.com/foundry-rs/forge-std
+[submodule "lib/openzeppelin-contracts"]
+	path = lib/openzeppelin-contracts
+	url = https://github.com/OpenZeppelin/openzeppelin-contracts

LICENSE

@@ -0,0 +1,24 @@
+This is free and unencumbered software released into the public domain.
+
+Anyone is free to copy, modify, publish, use, compile, sell, or
+distribute this software, either in source code form or as a compiled
+binary, for any purpose, commercial or non-commercial, and by any
+means.
+
+In jurisdictions that recognize copyright laws, the author or authors
+of this software dedicate any and all copyright interest in the
+software to the public domain. We make this dedication for the benefit
+of the public at large and to the detriment of our heirs and
+successors. We intend this dedication to be an overt act of
+relinquishment in perpetuity of all present and future rights to this
+software under copyright law.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
+IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR
+OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
+ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
+OTHER DEALINGS IN THE SOFTWARE.
+
+For more information, please refer to <http://unlicense.org/>

foundry.toml

@@ -0,0 +1,12 @@
+
+[profile.default]
+solc_version = '0.8.15'
+auto_detect_solc = false
+optimizer = true
+optimizer_runs = 200 # Default amount
+ffi = true
+fuzz_runs = 1_000
+remappings = [
+  "forge-std=lib/forge-std/src/",
+  "foundry-huff=lib/foundry-huff/src/",
+]

remappings.txt

@@ -0,0 +1,8 @@
+ds-test/=lib/forge-std/lib/ds-test/src/
+forge-std=lib/forge-std/src/
+forge-std/=lib/forge-std/src/
+foundry-huff=lib/foundry-huff/src/
+foundry-huff/=lib/foundry-huff/src/
+@openzeppelin/=lib/openzeppelin-contracts/
+solidity-stringutils/=lib/foundry-huff/lib/solidity-stringutils/src/
+stringutils/=lib/foundry-huff/lib/solidity-stringutils/

script/Deploy.s.sol

@@ -0,0 +1,16 @@
+// SPDX-License-Identifier: Unlicense
+pragma solidity ^0.8.15;
+
+import "foundry-huff/HuffDeployer.sol";
+import "forge-std/Script.sol";
+
+interface SimpleStore {
+  function setValue(uint256) external;
+  function getValue() external returns (uint256);
+}
+
+contract Deploy is Script {
+  function run() public returns (SimpleStore simpleStore) {
+    simpleStore = SimpleStore(HuffDeployer.deploy("SimpleStore"));
+  }
+}

solc

@@ -0,0 +1,2 @@
+a
+b --bin

src/INVMCallVerifier.sol

@@ -0,0 +1,15 @@
+// SPDX-License-Identifier: MIT
+pragma solidity ^0.8.0;
+
+/**
+ * @dev A call verifier for NVM
+ */
+interface INVMCallVerifier {
+    function verifyCall(
+        uint8 opcode,
+        address callContract,
+        uint256 valueSent,
+        bytes memory callDataSlice,
+        bool truncated
+    ) external returns (bool);
+}