Skip to content

Commit

Permalink
fixed readme, fix bug with tab in comments
Browse files Browse the repository at this point in the history
  • Loading branch information
StringNick committed Aug 16, 2024
1 parent 429f520 commit b5d2f1f
Show file tree
Hide file tree
Showing 2 changed files with 28 additions and 7 deletions.
24 changes: 23 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -27,6 +27,18 @@

Alternatively, if you have [nix](https://nixos.org/) installed, you can get the full development environment `nix develop`.

- Also you need installed python, so we can compile cairo0 programs in benchmarks/integration tests, to insatll them just run:
```bash
make deps
```
if u got macos:
```bash
make deps-macos
```
- After you need compile all cairo0 programs, to use test or benchmarks:
```bash
make compile-cairo-programs
```
## ⚡ Wanna get up to speed fast?

<details>
Expand Down Expand Up @@ -64,9 +76,19 @@ You can display the help message by running:

### Run a cairo program

Without proof mode:
```bash
./zig-out/bin/ziggy-starkdust execute --filename cairo_programs/fibonacci.json
```

./zig-out/bin/ziggy-starkdust execute --filename cairo_programs/fibonacci.json --proof-mode=false
With proof mode:
```bash
./zig-out/bin/ziggy-starkdust execute --filename cairo_programs/fibonacci.json --proof-mode
```

With memory layout, trace, proof mode and custom layout:
```bash
./zig-out/bin/ziggy-starkdust execute --filename cairo_programs/fibonacci.json --memory-file=/dev/null --trace-file=/dev/null --proof-mode=true --layout all_cairo
```


Expand Down
11 changes: 5 additions & 6 deletions src/hint_processor/math_hints.zig
Original file line number Diff line number Diff line change
Expand Up @@ -65,15 +65,14 @@ pub fn isPositive(allocator: Allocator, vm: *CairoVM, ids_data: std.StringHashMa
), vm, ids_data, ap_tracking);
}

// Implements hint:from starkware.cairo.common.math.cairo
//Implements hint:from starkware.cairo.common.math.cairo
//
// %{
// from starkware.cairo.common.math_utils import assert_integer
// assert_integer(ids.value)
// assert ids.value % PRIME != 0, f'assert_not_zero failed: {ids.value} = 0.'
//%{
// from starkware.cairo.common.math_utils import assert_integer
// assert_integer(ids.value)
// assert ids.value % PRIME != 0, f'assert_not_zero failed: {ids.value} = 0.'
//
// %}

pub fn assertNonZero(
vm: *CairoVM,
ids_data: std.StringHashMap(HintReference),
Expand Down

0 comments on commit b5d2f1f

Please sign in to comment.