cairo_native
cairo_native copied to clipboard
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
Add Bytes31 return type ## Checklist - [x] Linked to Github Issue - [ ] Unit tests added - [x] Integration tests added. - [ ] This change requires new...
## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ] Integration tests added. - [ ] This change requires new documentation. -...
## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ] Integration tests added. - [ ] This change requires new documentation. -...
* Closes #263 ## Checklist - [x] Linked to Github Issue - [ ] Unit tests added - [ ] Integration tests added. - [x] This change requires new documentation....
### Testing syscalls: - pop_log: todo - set_account_contract_address: todo - set_block_number: todo - set_block_timestamp: todo - set_caller_address: todo - set_chain_id: todo - set_contract_address: todo - set_max_fee: todo - set_nonce: todo...
We are starting to execute some transactions accross Mainnet, starting from 0.13.1. We modified the Blockifier to use Native and then hook it up to Juno, in order to replay...
Implement the parse result for CoreTypeConcrete::RangeCheck https://github.com/lambdaclass/cairo_native/blob/ddfd28217c10f7202a03f10234f0a19113c46904/src/executor.rs#L795 We should be able to run the primitive_types2.cairo program https://github.com/lambdaclass/cairo_native/blob/e89d38ad2f01bbd85c9f9de0b37841ac98661b50/tests/tests/cases.rs#L133
Felts currently use a normal (binary) internal representation. Switching to Montgomery form should allow significant performance improvements on non-trivial operations like multiplication.
Removes an unused lock from the cairo-native-test binary. ## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ] Integration tests added. -...
## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ] Integration tests added. - [ ] This change requires new documentation. -...