Reviewing Cairo And Starknet

Name: Reviewing Cairo And Starknet
Author: nuroctane

ASecurity

Review Cairo/Starknet contracts: u256 rounding, felt vs u256, account/session keys, L1-L2 messages. Use for Starknet DeFi (e.g. Vesu-class rounding). Lawful/in-scope only.

3 stars
0 votes
0 copies
2 views
Added September 2, 2026

ai-agents

Security analysis

A100/100

Scanned September 2, 2026

npx -y skills add nuroctane/nur-cli --skill reviewing-cairo-and-starknet --agent claude-code

Installs into .claude/skills of the current project.

Are you the author of Reviewing Cairo And Starknet?

Add the live security badge to your README. It updates with every re-scan.

Security grade badge for Reviewing Cairo And Starknet

[![Security: A — Skills Directory](https://www.skillsdirectory.com/api/skills/nuroctane-reviewing-cairo-and-starknet/badge)](https://www.skillsdirectory.com/skills/nuroctane-reviewing-cairo-and-starknet)

More formats (shields.io, HTML) on the badges page. Keep it an A: scan every change in CI with Pro.

Download with Pro

SKILL.md

---
name: reviewing-cairo-and-starknet
description: "Review Cairo/Starknet contracts: u256 rounding, felt vs u256, account/session keys, L1-L2 messages. Use for Starknet DeFi (e.g. Vesu-class rounding). Lawful/in-scope only."
---

# Reviewing Cairo and Starknet

In-scope Cairo only. Snforge / Cairo tests. L1 messengers still need the EVM bridge playbook.

Historical: Vesu rounding disclosures in `move-cosmos-cairo.md`.

## Arithmetic

- Documented rounding direction on `u256` div (`K01`). 1-wei tests.
- `felt252` is not `uint256` (`K02`). Overflow aborts.

## Account / session

Native AA. Session keys must bind calldata and expiry (T39-shaped).

## Messages

L1->L2 and L2->L1: consume once, bind amount and recipient (`T17-T19` on both sides).

## Output

`(fn, rounding or felt mix, K0x, snforge idea)`.

## Paid bounty analogs

| $ | Protocol | Pack | Whitehat |
|---|----------|------|----------|
| High | Vesu rounding convention | K01 | kankodu, __alexxander_ |

zkLend ~$9.57M is a **hack** (`move-cosmos-cairo.md`). L1 handler `from_address` is still a review seed.