├── .github └── workflows │ └── release.yml ├── .gitignore ├── LICENSE ├── README.md ├── banner.png ├── soundness-cli ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── Dockerfile ├── README.md ├── docker-compose.yml ├── src │ └── main.rs ├── test_files │ ├── sp1_fibonacci.elf │ └── sp1_fibonacci.proof └── tests │ ├── e2e_test.rs │ └── run_e2e_tests.sh └── soundnessup ├── install └── soundnessup /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/README.md -------------------------------------------------------------------------------- /banner.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/banner.png -------------------------------------------------------------------------------- /soundness-cli/.gitignore: -------------------------------------------------------------------------------- 1 | key_store.json 2 | .soundness/ -------------------------------------------------------------------------------- /soundness-cli/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/soundness-cli/Cargo.lock -------------------------------------------------------------------------------- /soundness-cli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/soundness-cli/Cargo.toml -------------------------------------------------------------------------------- /soundness-cli/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/soundness-cli/Dockerfile -------------------------------------------------------------------------------- /soundness-cli/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/soundness-cli/README.md -------------------------------------------------------------------------------- /soundness-cli/docker-compose.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/soundness-cli/docker-compose.yml -------------------------------------------------------------------------------- /soundness-cli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/soundness-cli/src/main.rs -------------------------------------------------------------------------------- /soundness-cli/test_files/sp1_fibonacci.elf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/soundness-cli/test_files/sp1_fibonacci.elf -------------------------------------------------------------------------------- /soundness-cli/test_files/sp1_fibonacci.proof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/soundness-cli/test_files/sp1_fibonacci.proof -------------------------------------------------------------------------------- /soundness-cli/tests/e2e_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/soundness-cli/tests/e2e_test.rs -------------------------------------------------------------------------------- /soundness-cli/tests/run_e2e_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/soundness-cli/tests/run_e2e_tests.sh -------------------------------------------------------------------------------- /soundnessup/install: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/soundnessup/install -------------------------------------------------------------------------------- /soundnessup/soundnessup: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoundnessLabs/soundness-layer/HEAD/soundnessup/soundnessup --------------------------------------------------------------------------------