Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / starkware-libs/stone-prover issues and pull requests

#39 - Remove duplication words

Pull Request - State: open - Opened by jasmyhigh 2 months ago

#37 - docs: Update link to CRYPTOGAMS license

Pull Request - State: open - Opened by Oemerbeck 5 months ago

#36 - Enable building on ARM and MacOS

Pull Request - State: open - Opened by Groxan 6 months ago

#35 - Pin sympy to 1.12.1

Pull Request - State: open - Opened by steebchen 6 months ago

#34 - Add script to publish images to ghcr

Pull Request - State: closed - Opened by steebchen 6 months ago

#33 - Cairo1-compile working on bumped corelib

Pull Request - State: closed - Opened by piotr-stec 6 months ago

#32 - Fix spelling issues

Pull Request - State: open - Opened by nnsW3 7 months ago - 1 comment

#31 - Specify the SymPy version in the Dockerfile

Pull Request - State: open - Opened by jaehunkim 7 months ago

#30 - cpu_air_prover: command not found

Issue - State: closed - Opened by HiteshMittal07 7 months ago - 2 comments

#29 - Add script to automate the configuration of the fri steps

Pull Request - State: open - Opened by FilipLaurentiu 8 months ago

#28 - Remove `.json` file extension from `trace` and `memory` file

Pull Request - State: closed - Opened by FilipLaurentiu 8 months ago - 1 comment

#27 - fix fibonacci cairo

Pull Request - State: closed - Opened by Lawliet-Chan 8 months ago - 1 comment

#26 - Info to checkout specific cairo-vm commit

Pull Request - State: closed - Opened by microbecode 8 months ago - 2 comments

#25 - Request for Turkish Translation of README

Issue - State: open - Opened by Rumeyst 9 months ago

#24 - Update Cairo 1 example to use input variables?

Issue - State: open - Opened by delaaxe 9 months ago - 1 comment

#23 - [refactor] Enhance Developer Experience

Pull Request - State: closed - Opened by neotheprogramist 9 months ago

#22 - Can't run example

Issue - State: closed - Opened by DylanVerstraete 9 months ago - 1 comment

#21 - Fix build

Pull Request - State: closed - Opened by delaaxe 9 months ago

#20 - Can't find `fibonacci.cairo`?

Issue - State: closed - Opened by delaaxe 9 months ago

#19 - Instructions for creating and verifying a proof of a Cairo program

Pull Request - State: closed - Opened by LandauRaz 10 months ago

#18 - chore: fix typos

Pull Request - State: closed - Opened by xiaoxianBoy 10 months ago - 1 comment

#18 - chore: fix typos

Pull Request - State: closed - Opened by xiaoxianBoy 10 months ago - 1 comment

#17 - Replace example from Cairo 0 with Cairo1

Issue - State: closed - Opened by L0GYKAL 12 months ago - 1 comment

#16 - feat(stone-prover): fixing native build issues on macOS and arm64

Pull Request - State: closed - Opened by hel-kame 12 months ago - 1 comment

#15 - Build on macOS and aarch64 issue

Issue - State: closed - Opened by hel-kame about 1 year ago - 2 comments

#14 - Can't Compile from Command-Line or VSCode

Issue - State: closed - Opened by aszepieniec over 1 year ago - 2 comments

#12 - Can't build docker image on M1 macbook #1

Issue - State: closed - Opened by Subbitoooo over 1 year ago

#11 - Most of end to end tests fail in Docker

Issue - State: closed - Opened by Retamogordo over 1 year ago - 1 comment

#10 - Prove non-CairoZero programs

Issue - State: closed - Opened by raphaelDkhn over 1 year ago - 1 comment

#9 - cpu_air_prover has a hidden assumption about trace and memory

Issue - State: closed - Opened by maoudia-via over 1 year ago - 1 comment

#8 - Proving in zero-knowledge (private inputs)

Issue - State: closed - Opened by amusgrave-via over 1 year ago - 3 comments

#7 - Verifying proof authenticity with regards to program

Issue - State: closed - Opened by maoudia-via over 1 year ago - 5 comments

#6 - OOM Optimisation Configs

Issue - State: closed - Opened by maxharrison00 over 1 year ago - 1 comment

#5 - Prover breaks when using arbitrary programs

Issue - State: closed - Opened by entropidelic over 1 year ago - 1 comment

#4 - Proof Parameters: FRI step list

Issue - State: open - Opened by maxharrison00 over 1 year ago - 5 comments

#3 - Does this support the current Cairo version?

Issue - State: closed - Opened by jonZlotnik over 1 year ago - 2 comments

#2 - chore(boundary air test): fix typo

Pull Request - State: closed - Opened by 0xLucqs over 1 year ago

#1 - Can't build docker image on M1 macbook

Issue - State: open - Opened by delaaxe over 1 year ago - 21 comments

#1 - Can't build docker image on M1 macbook

Issue - State: open - Opened by delaaxe over 1 year ago - 21 comments