cairo

the issue is with the negative int right? min(1, 2**129) compiles, while min(-1, 55) doesn't (v0.3.6+commit.4a2124d) ``` vyper.exceptions.InvalidType: Expected uint256 but literal can only be cast as int104 or int96...

hey @r0qs, im interested in working on this issue, but should this be before or after https://github.com/ethereum/solidity/issues/14770?

> IMO the API should be `verify` and `verifyNative` (renamed from `verify7212`). `tryVerify7212` should be private, `verifyNative` assumes that the precompile is available. `verifySolidity` should be private too, though it...

in accordance to secp256r1 spec, fixed a bug with https://github.com/OpenZeppelin/openzeppelin-contracts/pull/4881/commits/d8f4f7eb52468d60404627410980f96975ac9243 for when `n < p` and `x % n == r` but `x != r`, so some signatures that should...

We already have [`TransientSlot`](https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/TransientSlot.sol), [`StorageSlot`](https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/StorageSlot.sol), and [`SlotDerivation`](https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/SlotDerivation.sol), which cover most of these use cases. Therefore, closing this PR. If you still think there are some use cases that should be...

Closing as this is a [deliberate design decision](https://github.com/OpenZeppelin/openzeppelin-contracts/pull/5043#issuecomment-2111103894).

@CarsonCase reverted back the `unchecked` block because it's done automatically by Solidity 0.8.22 onwards, and also made the `i` variable explicit (per the style guide)

Gas difference: | | Normal | Optimizer (1000 runs) | Via IR | |----------------------------------------|--------------------|-----------------------|----------------------| | testProcessProof (unoptimized) | μ: 41703, ~: 41638 | μ: 41699, ~: 41638 | μ: 34632,...

`Bytes.slice` is using `mcopy` in assembly so it works on 0.8.24, so want to confirm that we are upgrading to 0.8.25 for `mcopy` in code generation

@Lohann could you take a look at https://github.com/Lohann/openzeppelin-contracts/pull/1? cross sharing: > We can do a much more efficient and simple implementation by employing a binary search to quickly narrow down...