Julian Gonzalez Calderon

FolderPage plugin bug when CreatedModifiedDate plugin is disabled

1

## Describe the bug When `CreatedModifiedDate` is disabled, the folder and tag page won't render properly **Actual**  **Expected**  ## Reason Because it's a grid container, the first column...

If the elf is invalid (bad serialization) `SP1Verifier::verify` panics in [core/src/disassembler/elf.rs](https://github.com/succinctlabs/sp1/blob/850d834e90ce4567bb72c2804d1efe2989c12f9a/core/src/disassembler/elf.rs). Is this the intended behaviour? if it is, is there a way to check if an elf is valid...

Fix integer casting

2

closes #604 ## Checklist - [x] Linked to Github Issue ## Fixes - The MLIR type was used to check if two types were equal, but the Cairo type should...

Module Constants

2

closes #75 Adds support for simple literal constants: ```rust mod Example { const foo: i32 = 10; const var: i64 = 5; fn main() -> i32 { let vix: i32...

Implement circuit libfuncs

2

This PR implements all circuit related libfuncs. It also removes the copied corelib as its no longer needed. ## Libfuncs - [x] `init_circuit_data` - [x] `add_circuit_input` - [x] `try_into_circuit_modulus` -...

Add lldb tutorial

1

Adds a tutorial on debugging with lldb

## Checklist - [ ] Linked to Github Issue - [ ] Unit tests added - [ ] Integration tests added. - [ ] This change requires new documentation. -...

u256_mul overflow in 0x00a1e8372b6de461e939b63d7d2a7c4a60bc333cae92a9e0800a575e13f202f7

3

When executing transaction [0x00a1e8372b6de461e939b63d7d2a7c4a60bc333cae92a9e0800a575e13f202f7](https://starkscan.co/tx/0x00a1e8372b6de461e939b63d7d2a7c4a60bc333cae92a9e0800a575e13f202f7) with starknet-replay, Cairo Native fails with `u256_mul Overflow` Complete error message: ``` Transaction execution has failed: 0: Error in the called contract ( contract address: 0x01ae80d66cc58dc4250a95a019a8c6dcb11f2bd0053ae6e9136c03b01be59a88...

Add benchmarks comparing to Cairo VM

3

This PR benchmarks cairo native against cairo vm with criterion: - Benchmarks cairo VM with fibonacci, factorial, and logistic map programs. - Groups the benchmarks by program Compile time is...

Add modulo p to sub gate result

1

# Apply modulo on sub gate When evaluating a sub gate, if `known - - - This change is [