├── .github ├── design.png ├── logo.svg ├── pragma-miden-demo.mp4 └── workflows │ └── test.yml ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── Makefile ├── README.md ├── crates ├── accounts │ ├── Cargo.toml │ ├── src │ │ ├── lib.rs │ │ ├── oracle │ │ │ ├── mod.rs │ │ │ └── oracle.masm │ │ ├── publisher │ │ │ ├── mod.rs │ │ │ └── publisher.masm │ │ └── utils.rs │ └── tests │ │ ├── common │ │ └── mod.rs │ │ ├── test_oracle.rs │ │ └── test_publisher.rs ├── cli │ ├── oracle │ │ ├── Cargo.toml │ │ └── src │ │ │ ├── commands │ │ │ ├── get_entry.rs │ │ │ ├── init.rs │ │ │ ├── median.rs │ │ │ ├── mod.rs │ │ │ ├── publishers.rs │ │ │ ├── register_publisher.rs │ │ │ └── sync.rs │ │ │ └── main.rs │ ├── publisher │ │ ├── Cargo.toml │ │ ├── README.md │ │ ├── build.rs │ │ ├── pyproject.toml │ │ ├── src │ │ │ ├── commands │ │ │ │ ├── entry.rs │ │ │ │ ├── get_entry.rs │ │ │ │ ├── init.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── publish.rs │ │ │ │ └── sync.rs │ │ │ ├── lib.rs │ │ │ └── main.rs │ │ └── tests │ │ │ └── python │ │ │ ├── publisher_1.py │ │ │ ├── publisher_2.py │ │ │ └── test_publisher.py │ └── utils │ │ ├── Cargo.toml │ │ └── src │ │ ├── client.rs │ │ ├── constants.rs │ │ ├── lib.rs │ │ ├── network.rs │ │ └── storage.rs ├── demo │ ├── Cargo.toml │ ├── README.md │ └── src │ │ ├── example.masm │ │ └── main.rs └── types │ ├── Cargo.toml │ └── src │ ├── currency.rs │ ├── entry.rs │ ├── lib.rs │ └── pair.rs ├── init-and-publish.sh ├── local-node ├── .gitignore ├── README.md └── start.sh ├── pragma_miden.json ├── rust-toolchain.toml └── taplo ├── README.md └── taplo.toml /.github/design.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/.github/design.png -------------------------------------------------------------------------------- /.github/logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/.github/logo.svg -------------------------------------------------------------------------------- /.github/pragma-miden-demo.mp4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/.github/pragma-miden-demo.mp4 -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/README.md -------------------------------------------------------------------------------- /crates/accounts/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/accounts/Cargo.toml -------------------------------------------------------------------------------- /crates/accounts/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/accounts/src/lib.rs -------------------------------------------------------------------------------- /crates/accounts/src/oracle/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/accounts/src/oracle/mod.rs -------------------------------------------------------------------------------- /crates/accounts/src/oracle/oracle.masm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/accounts/src/oracle/oracle.masm -------------------------------------------------------------------------------- /crates/accounts/src/publisher/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/accounts/src/publisher/mod.rs -------------------------------------------------------------------------------- /crates/accounts/src/publisher/publisher.masm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/accounts/src/publisher/publisher.masm -------------------------------------------------------------------------------- /crates/accounts/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/accounts/src/utils.rs -------------------------------------------------------------------------------- /crates/accounts/tests/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/accounts/tests/common/mod.rs -------------------------------------------------------------------------------- /crates/accounts/tests/test_oracle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/accounts/tests/test_oracle.rs -------------------------------------------------------------------------------- /crates/accounts/tests/test_publisher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/accounts/tests/test_publisher.rs -------------------------------------------------------------------------------- /crates/cli/oracle/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/oracle/Cargo.toml -------------------------------------------------------------------------------- /crates/cli/oracle/src/commands/get_entry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/oracle/src/commands/get_entry.rs -------------------------------------------------------------------------------- /crates/cli/oracle/src/commands/init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/oracle/src/commands/init.rs -------------------------------------------------------------------------------- /crates/cli/oracle/src/commands/median.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/oracle/src/commands/median.rs -------------------------------------------------------------------------------- /crates/cli/oracle/src/commands/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/oracle/src/commands/mod.rs -------------------------------------------------------------------------------- /crates/cli/oracle/src/commands/publishers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/oracle/src/commands/publishers.rs -------------------------------------------------------------------------------- /crates/cli/oracle/src/commands/register_publisher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/oracle/src/commands/register_publisher.rs -------------------------------------------------------------------------------- /crates/cli/oracle/src/commands/sync.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/oracle/src/commands/sync.rs -------------------------------------------------------------------------------- /crates/cli/oracle/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/oracle/src/main.rs -------------------------------------------------------------------------------- /crates/cli/publisher/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/Cargo.toml -------------------------------------------------------------------------------- /crates/cli/publisher/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/README.md -------------------------------------------------------------------------------- /crates/cli/publisher/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | pyo3_build_config::add_extension_module_link_args(); 3 | } 4 | -------------------------------------------------------------------------------- /crates/cli/publisher/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/pyproject.toml -------------------------------------------------------------------------------- /crates/cli/publisher/src/commands/entry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/src/commands/entry.rs -------------------------------------------------------------------------------- /crates/cli/publisher/src/commands/get_entry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/src/commands/get_entry.rs -------------------------------------------------------------------------------- /crates/cli/publisher/src/commands/init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/src/commands/init.rs -------------------------------------------------------------------------------- /crates/cli/publisher/src/commands/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/src/commands/mod.rs -------------------------------------------------------------------------------- /crates/cli/publisher/src/commands/publish.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/src/commands/publish.rs -------------------------------------------------------------------------------- /crates/cli/publisher/src/commands/sync.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/src/commands/sync.rs -------------------------------------------------------------------------------- /crates/cli/publisher/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/src/lib.rs -------------------------------------------------------------------------------- /crates/cli/publisher/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/src/main.rs -------------------------------------------------------------------------------- /crates/cli/publisher/tests/python/publisher_1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/tests/python/publisher_1.py -------------------------------------------------------------------------------- /crates/cli/publisher/tests/python/publisher_2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/tests/python/publisher_2.py -------------------------------------------------------------------------------- /crates/cli/publisher/tests/python/test_publisher.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/publisher/tests/python/test_publisher.py -------------------------------------------------------------------------------- /crates/cli/utils/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/utils/Cargo.toml -------------------------------------------------------------------------------- /crates/cli/utils/src/client.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/utils/src/client.rs -------------------------------------------------------------------------------- /crates/cli/utils/src/constants.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/utils/src/constants.rs -------------------------------------------------------------------------------- /crates/cli/utils/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/utils/src/lib.rs -------------------------------------------------------------------------------- /crates/cli/utils/src/network.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/utils/src/network.rs -------------------------------------------------------------------------------- /crates/cli/utils/src/storage.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/cli/utils/src/storage.rs -------------------------------------------------------------------------------- /crates/demo/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/demo/Cargo.toml -------------------------------------------------------------------------------- /crates/demo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/demo/README.md -------------------------------------------------------------------------------- /crates/demo/src/example.masm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/demo/src/example.masm -------------------------------------------------------------------------------- /crates/demo/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/demo/src/main.rs -------------------------------------------------------------------------------- /crates/types/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/types/Cargo.toml -------------------------------------------------------------------------------- /crates/types/src/currency.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/types/src/currency.rs -------------------------------------------------------------------------------- /crates/types/src/entry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/types/src/entry.rs -------------------------------------------------------------------------------- /crates/types/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/types/src/lib.rs -------------------------------------------------------------------------------- /crates/types/src/pair.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/crates/types/src/pair.rs -------------------------------------------------------------------------------- /init-and-publish.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/init-and-publish.sh -------------------------------------------------------------------------------- /local-node/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/local-node/.gitignore -------------------------------------------------------------------------------- /local-node/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/local-node/README.md -------------------------------------------------------------------------------- /local-node/start.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/local-node/start.sh -------------------------------------------------------------------------------- /pragma_miden.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/pragma_miden.json -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/rust-toolchain.toml -------------------------------------------------------------------------------- /taplo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/taplo/README.md -------------------------------------------------------------------------------- /taplo/taplo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/astraly-labs/pragma-miden/HEAD/taplo/taplo.toml --------------------------------------------------------------------------------