Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

TRM V1 Removal #1913

Open
wants to merge 264 commits into
base: base
Choose a base branch
from
Open

TRM V1 Removal #1913

wants to merge 264 commits into from

Conversation

agureev
Copy link
Contributor

@agureev agureev commented Feb 27, 2025

Remove TRM V1

XuyangSong and others added 30 commits January 14, 2025 17:38
i.e., those with a - in them somewhere.
Original merge of the branch artem/bug-root-check-table was incorrect
as it did not respect the reading at keyspaces instead of atoms
introduced in parallel branches merged beforehand.

This fixes this, by reading the anchor at the anoma keyspace.
Make the layer and door computations explicit in the Jet module.
Prior, the jet registry carried the mug of the parent to compare
against. However, mug computations for such large core can be
expensive in Elixir due to murmur3 limitations.

In order to speed up the process, we now store instead of mugs the
actual parents and can compare against them during the jet checks.
Mug lookup is slower in Elixir due to Murmur3 implementation. Instead,
our equality is faster and hence should be used in mug's stead.

Hence now jet lookup goes through direct equality checking.
The reason why we'd want this is when running examples that have
capture log.

```
iex(anoma@YU-NO)1> Anoma.Node.Examples.ETransaction.resubmit_trivial_swap
"example_A2D042FF16911027DE1D9C09ABBFD2B6"
```

Is what we have after this patch but before this patch we have

```
iex(anoma@YU-NO)5> Anoma.Node.Examples.ETransaction.resubmit_trivial_swap
** (exit) exited in: GenServer.call(ExUnit.CaptureServer, {:log_capture_on, #PID<0.805.0>, #PID<0.1353.0>, []}, :infinity)
    ** (EXIT) no process: the process is not alive or there's no process currently associated with the given name, possibly because its application isn't started
    (elixir 1.17.3) lib/gen_server.ex:1121: GenServer.call/3
    (ex_unit 1.17.3) lib/ex_unit/capture_log.ex:110: ExUnit.CaptureLog.with_log/2
    (ex_unit 1.17.3) lib/ex_unit/capture_log.ex:75: ExUnit.CaptureLog.capture_log/2
    (anoma_node 0.30.0) lib/examples/e_transaction.ex:368: Anoma.Node.Examples.ETransaction.resubmit_trivial_swap/1
    iex:5: (file)

```

There might be better places to put this however
Make sure intentpool has some time to process new events with
nullifiers and commitments.
Changes TRM types for getting rid of lists.
Use Encode and Decode Signed for heashing and de-hashing the deltas
Supplies witness may or may not be using integer representation of atoms
Provide usual Resource API: propositions testing commitment or nullifier
Provide a function to gather compliance unit roots.
Provides API to get roots and app data from the action.
Add transaction API, including getting all roots, all commitments, all
nullifiers, or all app data from th underlying actions.
Remove all usage of previous transparent resource machine usage from
the codebase.
@agureev agureev force-pushed the artem/trm-v1-delete branch from 884f994 to 58c45e6 Compare February 27, 2025 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Triage
Development

Successfully merging this pull request may close these issues.

8 participants