Brandon Kite

I'd like to be able to include zokrates core as a dependency from crates.io into rust-based webservice (e.g. actix). That way I can build a localized client-server app for performing...

Yeah, no need to do on-the-fly compilation - proof generation would be the main use-case I have in mind. Although I'm sure publishing ZoKrates modules would be beneficial to others...

Why not just publish the `zokrates_core` package as-is? Wouldn't this include the interpreter?

Ideally, we just retire some of these runtime flags like `utxo-validation` and `predicates-enabled`. The main blocker for this may be `forc run` and potentially Sway E2E tests which haven't been...

Ah right, Victor had taken those notes. Mind adding them to the wiki @vlopes11? I believe it was about needing to add the consensus key to `PendingBlockImported`? Although is this...

> It needs to define the trait for the database similar to Relayer and VM. We may not need the trait, since the interfaces for all the storage that could...

> Wait no, you need to initialize contract inputs with the correct roots since the roots are updated in-place during execution of the script. It's needed for fraud proofs. It's...

Based on discussions with @adlerjohn, the current list of merkle trees that span data across blocks would be: - Contract Balances (SMT) - Contract State (SMT) - Block IDs MMR...

cc @Dentosal

Yes this is a much cleaner approach. Eventually, I would like to avoid exposing any of the graphql schema types directly via fuel-gql-client, and only use the proper corresponding fuel-types...