Giters
o1-labs
/
snarky
OCaml DSL for verifiable computation
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
484
Watchers:
45
Issues:
172
Forks:
72
o1-labs/snarky Issues
expose snarky API (add_constraint, exists, etc.)
Closed
a year ago
Comments count
1
figure out request/handler situation
Closed
a year ago
Comments count
1
figure out typ situation
Closed
a year ago
Comments count
1
snarky refactorings
Closed
a year ago
Comments count
1
snarky-rs (snarky impl in Rust)
Closed
a year ago
Comments count
1
snarky-rs
Closed
2 years ago
create opaque type for run_state
Closed
a year ago
address PR feedback in snarky-rs PRs
Closed
a year ago
ask joseandro about double arrow connections between snarky and core board
Closed
2 years ago
remove ast_runner
Closed
a year ago
ASM -> JSON in test framework
Closed
a year ago
address PR reviews
Closed
a year ago
test the two different ways of creating private inputs (handlers and compute)
Closed
a year ago
calling prover functions inside a circuit inside a prover block inside a circuit (should fail)
Closed
a year ago
Comments count
1
calling prover functions inside a prover block inside a circuit inside a prover block
Closed
a year ago
Comments count
1
test: calling circuit functions inside a circuit inside a prover block inside another circuit
Closed
a year ago
Comments count
3
calling prover functions inside a circuit, outside of a prover block (should fail)
Closed
a year ago
Comments count
1
calling prover functions outside of any circuit
Closed
a year ago
calling circuit functions inside a prover block
Closed
a year ago
Comments count
1
calling circuit functions (that can act on a global) outside of any circuit
Closed
a year ago
Comments count
2
test the different global-relying APIs
Closed
a year ago
test the same things with the monadic interface
Closed
a year ago
Comments count
3
test as_prover functionality
Closed
a year ago
Comments count
1
test public inputs and public outputs
Closed
a year ago
test double generic gate optimization
Closed
a year ago
Comments count
1
test merging of generic gates
Closed
a year ago
Comments count
1
tests for all snarky types (e.g. boolean)
Closed
a year ago
tests for all custom gates
Closed
a year ago
Comments count
1
Snarky-ml Testing
Closed
a year ago
Comments count
2
move some logic out of snark0 (fabrizio)
Closed
a year ago
stop imperative interface from relying on checked ast
Closed
a year ago
write test for snarky to allow us to reproduce "cant be computed outside of checked computation" bug https://github.com/MinaProtocol/mina/pull/12627
Closed
a year ago
Comments count
1
write tests for snarky making use of the as_prover functionality
Closed
a year ago
Comments count
1
list of tests we need
Closed
2 years ago
maybe remove the `type 'f field = 'f`, but not sure if it's going to be helpful now
Closed
a year ago
Comments count
1
remove pedersen hash
Closed
a year ago
Comments count
1
implement comparative tests using both snarky-ml and snarky-rs (thanks to our generic Checked interface strategy)
Closed
a year ago
Comments count
1
implement EC gates in snarky-rs
Closed
a year ago
Comments count
2
figure out how to introduce request/handler in Rust
Closed
a year ago
think of refactorings that will make integration easier
Closed
a year ago
implement bindings, try to integrate, see what is giving (see what more we need to work on)
Closed
2 years ago
reintroduce is_running, has_witness, as_prover booleans in snarky-rs
Closed
a year ago
Comments count
1
remove eval_constraint global by just making the default true (easy!)
Closed
a year ago
Comments count
2
we can delete in_checked_computation (according to gregor)
Closed
a year ago
Comments count
1
remove R1CS trick
Closed
a year ago
Comments count
2
remove checked ast (snarkydef is the last place)
Closed
a year ago
Comments count
1
figure out how to sync this board with zenhub
Closed
2 years ago
write roadmap based on this kanban board
Closed
2 years ago
Test issue
Closed
2 years ago
thing
Closed
2 years ago
Previous
Next