├── .gitignore ├── .gitmodules ├── .vscode ├── ltex.dictionary.en-US.txt └── settings.json ├── Cargo.toml ├── LICENSE ├── Makefile ├── README.md ├── __init__.py ├── aero-sdk ├── .gitignore ├── README.md ├── miden-wasm │ ├── Cargo.toml │ ├── build.rs │ └── src │ │ ├── constraints_worker.rs │ │ ├── convert │ │ ├── convert_inputs.rs │ │ ├── convert_proof.rs │ │ ├── mod.rs │ │ └── sdk.rs │ │ ├── hashing_worker.rs │ │ ├── lib.rs │ │ ├── pool.rs │ │ ├── proving_worker.rs │ │ └── utils.rs ├── package-lock.json ├── package.json ├── proto │ ├── commitments.proto │ ├── common.proto │ ├── context.proto │ ├── fri_proof.proto │ ├── miden_prover.proto │ ├── miden_vm.proto │ ├── ood_frame.proto │ ├── queries.proto │ ├── service.proto │ └── stark_proof.proto ├── src │ ├── constraints_worker.ts │ ├── demo │ │ └── index.ts │ ├── hashing_worker.ts │ ├── proving_worker.ts │ ├── sdk.ts │ └── webpack.d.ts ├── tsconfig.json ├── webpack.config.demo.js └── webpack.config.js ├── miden-proof-generator ├── Cargo.toml └── src │ ├── lib.rs │ └── main.rs ├── miden-to-cairo-parser ├── Cargo.toml ├── README.md └── src │ ├── lib.rs │ ├── main.rs │ └── memory.rs ├── proofs ├── .gitkeep └── fib.bin ├── protostar.toml ├── rust-toolchain.toml ├── src ├── crypto │ └── hash_utils.cairo ├── stark_verifier │ ├── air │ │ ├── air_instance.cairo │ │ ├── proof │ │ │ └── commitments.cairo │ │ ├── pub_inputs.cairo │ │ ├── stark_proof.cairo │ │ ├── table.cairo │ │ ├── trace_info.cairo │ │ └── transitions │ │ │ └── frame.cairo │ ├── channel.cairo │ ├── composer.cairo │ ├── crypto │ │ └── random.cairo │ ├── evaluator.cairo │ ├── fri │ │ ├── fri_verifier.cairo │ │ ├── polynomials.cairo │ │ └── utils.cairo │ ├── stark_verifier.cairo │ ├── utils.cairo │ └── utils.py └── utils │ ├── benchmark_block.py │ ├── endianness.cairo │ ├── hex_utils.py │ ├── math_goldilocks.cairo │ ├── pow2.cairo │ ├── python_utils.cairo │ ├── serialize.cairo │ └── utxo_dummy_generator.py └── tests ├── integration ├── test_verifier.cairo └── utils.py └── unit └── test_math_g.cairo /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/.gitmodules -------------------------------------------------------------------------------- /.vscode/ltex.dictionary.en-US.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/.vscode/ltex.dictionary.en-US.txt -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/README.md -------------------------------------------------------------------------------- /__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /aero-sdk/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/.gitignore -------------------------------------------------------------------------------- /aero-sdk/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/README.md -------------------------------------------------------------------------------- /aero-sdk/miden-wasm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/miden-wasm/Cargo.toml -------------------------------------------------------------------------------- /aero-sdk/miden-wasm/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/miden-wasm/build.rs -------------------------------------------------------------------------------- /aero-sdk/miden-wasm/src/constraints_worker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/miden-wasm/src/constraints_worker.rs -------------------------------------------------------------------------------- /aero-sdk/miden-wasm/src/convert/convert_inputs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/miden-wasm/src/convert/convert_inputs.rs -------------------------------------------------------------------------------- /aero-sdk/miden-wasm/src/convert/convert_proof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/miden-wasm/src/convert/convert_proof.rs -------------------------------------------------------------------------------- /aero-sdk/miden-wasm/src/convert/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/miden-wasm/src/convert/mod.rs -------------------------------------------------------------------------------- /aero-sdk/miden-wasm/src/convert/sdk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/miden-wasm/src/convert/sdk.rs -------------------------------------------------------------------------------- /aero-sdk/miden-wasm/src/hashing_worker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/miden-wasm/src/hashing_worker.rs -------------------------------------------------------------------------------- /aero-sdk/miden-wasm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/miden-wasm/src/lib.rs -------------------------------------------------------------------------------- /aero-sdk/miden-wasm/src/pool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/miden-wasm/src/pool.rs -------------------------------------------------------------------------------- /aero-sdk/miden-wasm/src/proving_worker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/miden-wasm/src/proving_worker.rs -------------------------------------------------------------------------------- /aero-sdk/miden-wasm/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/miden-wasm/src/utils.rs -------------------------------------------------------------------------------- /aero-sdk/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/package-lock.json -------------------------------------------------------------------------------- /aero-sdk/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/package.json -------------------------------------------------------------------------------- /aero-sdk/proto/commitments.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/proto/commitments.proto -------------------------------------------------------------------------------- /aero-sdk/proto/common.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/proto/common.proto -------------------------------------------------------------------------------- /aero-sdk/proto/context.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/proto/context.proto -------------------------------------------------------------------------------- /aero-sdk/proto/fri_proof.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/proto/fri_proof.proto -------------------------------------------------------------------------------- /aero-sdk/proto/miden_prover.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/proto/miden_prover.proto -------------------------------------------------------------------------------- /aero-sdk/proto/miden_vm.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/proto/miden_vm.proto -------------------------------------------------------------------------------- /aero-sdk/proto/ood_frame.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/proto/ood_frame.proto -------------------------------------------------------------------------------- /aero-sdk/proto/queries.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/proto/queries.proto -------------------------------------------------------------------------------- /aero-sdk/proto/service.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/proto/service.proto -------------------------------------------------------------------------------- /aero-sdk/proto/stark_proof.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/proto/stark_proof.proto -------------------------------------------------------------------------------- /aero-sdk/src/constraints_worker.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/src/constraints_worker.ts -------------------------------------------------------------------------------- /aero-sdk/src/demo/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/src/demo/index.ts -------------------------------------------------------------------------------- /aero-sdk/src/hashing_worker.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/src/hashing_worker.ts -------------------------------------------------------------------------------- /aero-sdk/src/proving_worker.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/src/proving_worker.ts -------------------------------------------------------------------------------- /aero-sdk/src/sdk.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/src/sdk.ts -------------------------------------------------------------------------------- /aero-sdk/src/webpack.d.ts: -------------------------------------------------------------------------------- 1 | declare let __webpack_public_path__: string; 2 | -------------------------------------------------------------------------------- /aero-sdk/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/tsconfig.json -------------------------------------------------------------------------------- /aero-sdk/webpack.config.demo.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/webpack.config.demo.js -------------------------------------------------------------------------------- /aero-sdk/webpack.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/aero-sdk/webpack.config.js -------------------------------------------------------------------------------- /miden-proof-generator/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/miden-proof-generator/Cargo.toml -------------------------------------------------------------------------------- /miden-proof-generator/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/miden-proof-generator/src/lib.rs -------------------------------------------------------------------------------- /miden-proof-generator/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/miden-proof-generator/src/main.rs -------------------------------------------------------------------------------- /miden-to-cairo-parser/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/miden-to-cairo-parser/Cargo.toml -------------------------------------------------------------------------------- /miden-to-cairo-parser/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/miden-to-cairo-parser/README.md -------------------------------------------------------------------------------- /miden-to-cairo-parser/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/miden-to-cairo-parser/src/lib.rs -------------------------------------------------------------------------------- /miden-to-cairo-parser/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/miden-to-cairo-parser/src/main.rs -------------------------------------------------------------------------------- /miden-to-cairo-parser/src/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/miden-to-cairo-parser/src/memory.rs -------------------------------------------------------------------------------- /proofs/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /proofs/fib.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/proofs/fib.bin -------------------------------------------------------------------------------- /protostar.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/protostar.toml -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/rust-toolchain.toml -------------------------------------------------------------------------------- /src/crypto/hash_utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/crypto/hash_utils.cairo -------------------------------------------------------------------------------- /src/stark_verifier/air/air_instance.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/air/air_instance.cairo -------------------------------------------------------------------------------- /src/stark_verifier/air/proof/commitments.cairo: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/stark_verifier/air/pub_inputs.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/air/pub_inputs.cairo -------------------------------------------------------------------------------- /src/stark_verifier/air/stark_proof.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/air/stark_proof.cairo -------------------------------------------------------------------------------- /src/stark_verifier/air/table.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/air/table.cairo -------------------------------------------------------------------------------- /src/stark_verifier/air/trace_info.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/air/trace_info.cairo -------------------------------------------------------------------------------- /src/stark_verifier/air/transitions/frame.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/air/transitions/frame.cairo -------------------------------------------------------------------------------- /src/stark_verifier/channel.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/channel.cairo -------------------------------------------------------------------------------- /src/stark_verifier/composer.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/composer.cairo -------------------------------------------------------------------------------- /src/stark_verifier/crypto/random.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/crypto/random.cairo -------------------------------------------------------------------------------- /src/stark_verifier/evaluator.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/evaluator.cairo -------------------------------------------------------------------------------- /src/stark_verifier/fri/fri_verifier.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/fri/fri_verifier.cairo -------------------------------------------------------------------------------- /src/stark_verifier/fri/polynomials.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/fri/polynomials.cairo -------------------------------------------------------------------------------- /src/stark_verifier/fri/utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/fri/utils.cairo -------------------------------------------------------------------------------- /src/stark_verifier/stark_verifier.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/stark_verifier.cairo -------------------------------------------------------------------------------- /src/stark_verifier/utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/utils.cairo -------------------------------------------------------------------------------- /src/stark_verifier/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/stark_verifier/utils.py -------------------------------------------------------------------------------- /src/utils/benchmark_block.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/utils/benchmark_block.py -------------------------------------------------------------------------------- /src/utils/endianness.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/utils/endianness.cairo -------------------------------------------------------------------------------- /src/utils/hex_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/utils/hex_utils.py -------------------------------------------------------------------------------- /src/utils/math_goldilocks.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/utils/math_goldilocks.cairo -------------------------------------------------------------------------------- /src/utils/pow2.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/utils/pow2.cairo -------------------------------------------------------------------------------- /src/utils/python_utils.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/utils/python_utils.cairo -------------------------------------------------------------------------------- /src/utils/serialize.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/utils/serialize.cairo -------------------------------------------------------------------------------- /src/utils/utxo_dummy_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/src/utils/utxo_dummy_generator.py -------------------------------------------------------------------------------- /tests/integration/test_verifier.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/tests/integration/test_verifier.cairo -------------------------------------------------------------------------------- /tests/integration/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/tests/integration/utils.py -------------------------------------------------------------------------------- /tests/unit/test_math_g.cairo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/starkoracles/Aero/HEAD/tests/unit/test_math_g.cairo --------------------------------------------------------------------------------