issues
search
Moonsong-Labs
/
madara-prover-api
RPC server and client to run the Stone Prover on the Madara sequencer.
10
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Hardocoded layout
#42
chudkowsky
opened
1 week ago
0
update: dependencies and types
#41
whichqua
opened
4 months ago
0
Update README.md
#40
HermanObst
closed
5 months ago
1
Tests are broken
#39
L0GYKAL
opened
7 months ago
2
CI: run `cargo fmt` early
#38
odesenfans
closed
8 months ago
0
Internal: replace stone-prover module by stone-prover-sdk
#37
odesenfans
closed
8 months ago
0
Fix: commit Cargo.lock
#36
odesenfans
closed
8 months ago
0
CI: use Rust v1.76
#35
odesenfans
closed
8 months ago
0
Chore: bump to latest cairo-vm version
#34
odesenfans
closed
8 months ago
0
add formatter in CI
#33
HermanObst
closed
9 months ago
0
Test: add bootloader test case with Stone's Fibonacci E2E test
#32
odesenfans
closed
9 months ago
0
Split Proof Support (2)
#31
notlesh
closed
9 months ago
0
Split Proof Support
#30
notlesh
closed
9 months ago
2
Feature: Starknet prover RPC service
#29
odesenfans
closed
9 months ago
0
Breaking change: force user to specify private input
#28
odesenfans
closed
9 months ago
0
Impl SAVE_OUTPUT_POINTER
#27
notlesh
closed
11 months ago
0
Chore: bump cairo-vm to 0.9.1
#26
odesenfans
closed
11 months ago
0
WIP: bootloader hints
#25
odesenfans
closed
9 months ago
0
`stone-prover` build script is unhelpful when Docker is misconfigured
#24
notlesh
opened
11 months ago
5
Feature: automatic prover configuration
#23
odesenfans
closed
11 months ago
1
Doc: README
#22
odesenfans
closed
11 months ago
0
Internal: integration test for the execute+prove RPC endpoint
#21
odesenfans
closed
11 months ago
1
Internal: use an implementation of Fibonacci without hints for tests
#20
odesenfans
closed
11 months ago
0
Fix: use unary RPCs instead of server-side streaming
#19
odesenfans
closed
11 months ago
2
Feature: add missing fields to Proof struct
#18
odesenfans
closed
11 months ago
0
Feature: execute+prove endpoint
#17
odesenfans
closed
11 months ago
3
Internal: script to generate a full test case
#16
odesenfans
closed
11 months ago
0
Feature: return complete proof object from prover RPC
#15
odesenfans
closed
11 months ago
2
Fix: build for on macOS
#14
HermanObst
closed
11 months ago
0
Internal: integration tests
#13
odesenfans
closed
11 months ago
2
Fix: use the right layout to run Starknet programs
#12
odesenfans
closed
11 months ago
0
Internal: reorganize workspace
#11
odesenfans
closed
11 months ago
0
Internal: use rstest for complex tests
#10
odesenfans
closed
11 months ago
0
Internal: isolate test utilities in a dedicated crate
#9
odesenfans
closed
11 months ago
0
Feature: execute Cairo programs on the RPC server
#8
odesenfans
closed
11 months ago
0
Feature: the prover RPC client/server can run any Cairo program using the Rust Cairo VM
#7
odesenfans
closed
11 months ago
0
Feature: Stone Prover RPC Substrate client
#6
odesenfans
closed
11 months ago
0
Feature: Stone Prover RPC server
#5
odesenfans
closed
11 months ago
0
Feature: gRPC server and client
#4
odesenfans
closed
11 months ago
1
CI: set up the CI/CD pipeline
#3
odesenfans
closed
11 months ago
1
Feature: Rust wrapper for the Stone Prover
#2
odesenfans
closed
11 months ago
0
Feature: build Stone Prover as dependency
#1
odesenfans
closed
11 months ago
0