Skip to content

Improve memory allocation when generating expression identifier#115

Merged
adria0 merged 3 commits into
mainfrom
feat/challenge-evm-helpers
Jan 9, 2023
Merged

Improve memory allocation when generating expression identifier#115
adria0 merged 3 commits into
mainfrom
feat/challenge-evm-helpers

Conversation

@adria0

@adria0 adria0 commented Jan 2, 2023

Copy link
Copy Markdown

For the the implementation of the EVM ChallengeAPI, implement the following improvements:

  • Expression::identifier() remove string memory reallocation

  • Adds a transpose method to turn Value<Result<_>> into Result<Value<_>>

  • Implements PartialOrd for Value<F>

@adria0 adria0 force-pushed the feat/challenge-evm-helpers branch from fcee9f2 to c8108c2 Compare January 2, 2023 17:35
- Adds a `transpose` method to turn `Value<Result<_>>` into
  `Result<Value<_>>`
- `Expression::identifier()` remove string memory reallocation
@adria0 adria0 force-pushed the feat/challenge-evm-helpers branch from c8108c2 to 551c782 Compare January 2, 2023 17:38
@adria0 adria0 marked this pull request as ready for review January 2, 2023 17:49
@adria0 adria0 requested a review from han0110 January 2, 2023 17:50
Comment thread halo2_proofs/src/circuit/value.rs Outdated

@han0110 han0110 left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

Comment thread halo2_proofs/src/circuit/value.rs Outdated
@adria0 adria0 changed the title Helpers & improvements to implement Challenge API in EVM cicuit Improve memory allocation when generating expression identifier Jan 9, 2023
@adria0 adria0 merged commit 0af4611 into main Jan 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants