0xleodevv

Verification for Cairo1 Contracts

4

Currently there doesn't seem to be a way to verify cairo 1 contracts on starkscan, would it be possible to get an ETA on when this will be possible (...

Add Poseidon hashing functions for one and two values

3

This PR proposes two new wrapper functions for Poseidon hashing. 1. `hash_one_element` 2. `hash_two_elements` With the current implementation of Poseidon hashing one/two values is different to Pedersen due to the...

How to use loop invariants

7

I was wondering what invariant condition (and where) I need to add to a recursive function ```cairo func compute_sum(n: felt) -> (sum: felt) { if (n == 0) { //...

# Feature Request Wondering if it would be possible to add renaming requests to the LSP. This would allow to workspace wide renaming on symbols, greatly improving the DevEx. **Additional...

Weird highlighting for neo-tree

4

Im getting this weird highlighting behaviour for neo tree (both floating window and non floating)

Hi! I was wondering how to target the highlight group for grep search in telescope. 1. In this theme (nordic) the line with the word describe is highlighted 2. Using...

Add support for Symbols for Legacy Computing in JetBrains Mono

1

### Requirements - [X] I have searched the [issues](https://github.com/ryanoasis/nerd-fonts/issues) for my request and found nothing related or helpful - [X] I have checked the [FAQ](https://github.com/ryanoasis/nerd-fonts/wiki/FAQ-and-Troubleshooting) for help - [X] I...

Verify Cairo1 Contracts

2

Hi, I was wondering if it is currently possible to verify cairo 1 contracts or if there as ETA as to when this will become possible? Thank you!