---
# System prepended metadata

title: Starknet Tasks 2024

---

# Lambda Starknet 2024

## VM
- Priority 1: Proving Cairo Locally
    - stone: json, memory
    - sharp: cairo PIE
    - input layouts:
        - start with 3 layouts of the 10
        - bug: round up to closest power of 2 depending on which builtins were used, for cairo 1 proof mode
- Priority 2: improvements to proving mode
    - currently needs both sierra and casm to find the main entry point, change so that we can get by only with casm
    - create entry code: the code that a user submits differs from the one run because the vm modifies it, ideally the functionality in create entry code should just be initialization without modifying the bytecode
- Better error reporting and formatting
- New builtin: arithmetic circuit
- Explore: profiling and optimizing the bytecode loading into memory
- Cleanup
    - hooks
    - general code review

## Cairo Native
- Sandboxing
- Step counting / usage statistics
- Sierra Dialect

## Starknet in Rust
- 
