Miden交易

此crate包含用于创建、执行和证明Miden汇总交易的工具。

用法

此crate公开了一些组件来编译、运行和证明交易。

第一个要求是有一个 DataStore 实现。 DataStore 对象负责加载交易执行器所需的数据，特别是账户代码、参考区块数据和笔记的输入。

let store = DataStore:new();

一旦有存储库可用，就可以使用 TransactionExecutor 对象来执行交易。消费零个或多个笔记，并可能调用账户的一些代码。

let executor = TransactionExecutor::new(store);
let executed_transaction = executor.execute_transaction(account_id, block_ref, note_ids, tx_args);

在完成交易执行后，可以创建一个证明

let prover = TransactionProver::new(ProvingOptions::default());
let proven_transaction = prover.prove_transaction(executed_transaction);

并验证证明

let verifier = TransactionVerifier::new(SECURITY_LEVEL);
verifier.verify(proven_transaction);

特性

许可证

本项目采用MIT许可。