Ecosyste.ms: Issues

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

GitHub / o1-labs/snarky issues and pull requests

#862 - Removed duplicate

Pull Request - State: closed - Opened by Dahka2321 21 days ago

#861 - Generalize over field variable type

Pull Request - State: closed - Opened by mrmr1993 22 days ago

#860 - CI: bump up images

Pull Request - State: closed - Opened by dannywillems 22 days ago - 1 comment

#858 - Abstract over `Run_state`, include it in the snarky backend

Pull Request - State: closed - Opened by mrmr1993 23 days ago

#857 - Update README.md

Pull Request - State: closed - Opened by HubertIGL about 1 month ago

#856 - Remove type parameters from `Typ.t`

Pull Request - State: closed - Opened by mrmr1993 about 1 month ago

#855 - Why use `https://` instead of `git@`?**

Pull Request - State: closed - Opened by sky-coderay about 1 month ago - 1 comment

#854 - Remove polymorphism from `As_prover.t`, hoist `Typ.t`

Pull Request - State: closed - Opened by mrmr1993 about 1 month ago

#853 - [trivial] Remove polymorphism from field in `Checked_intf`

Pull Request - State: closed - Opened by mrmr1993 about 2 months ago

#852 - CI: make it happier

Pull Request - State: closed - Opened by dannywillems about 2 months ago

#851 - Snark_intf: remove unused alias Ref in As_prover

Pull Request - State: closed - Opened by dannywillems about 2 months ago

#850 - Remove unused code, simplify `Typ.Internal.ref` to `Typ.prover_value`

Pull Request - State: closed - Opened by mrmr1993 about 2 months ago - 1 comment

#849 - Pull Request: Fix Grammar and Spelling Issues

Pull Request - State: closed - Opened by donatik27 2 months ago

#848 - Remove unused free monad implementation

Pull Request - State: closed - Opened by martyall 2 months ago

#847 - Specialize `Typ.t` for each snarky instance

Pull Request - State: closed - Opened by mrmr1993 2 months ago

#846 - TYPO README.md

Pull Request - State: closed - Opened by sky-coderay 2 months ago - 2 comments

#845 - Core_kernel deprecated

Issue - State: open - Opened by jmikedupont2 6 months ago

#844 - removing references to broken links

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

#843 - Constraint_system_intf.{num_constraints,to_asm}

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

#842 - Be aggressive about checking state consistency

Pull Request - State: closed - Opened by mrmr1993 11 months ago

#841 - Async requests

Pull Request - State: closed - Opened by mitschabaude 11 months ago

#840 - Merge master to coda

Pull Request - State: closed - Opened by mitschabaude 11 months ago

#839 - Support async witnessing

Pull Request - State: closed - Opened by mitschabaude 11 months ago

#838 - Fix GitHub actions CI, retire CircleCI

Pull Request - State: closed - Opened by mrmr1993 11 months ago

#837 - Simplified witness computation

Pull Request - State: open - Opened by gabrielbosio 11 months ago

#835 - Fix typos

Pull Request - State: closed - Opened by GoodDaisy about 1 year ago

#834 - Expose internal state to o1js

Pull Request - State: closed - Opened by mitschabaude about 1 year ago

#833 - Cosmetics/Refactoring

Pull Request - State: closed - Opened by volhovm about 1 year ago - 2 comments

#832 - chore: typo fix

Pull Request - State: closed - Opened by Gakunt about 1 year ago - 2 comments

#830 - Avoid costly errors in JS witness generation

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

#829 - Snarkyjs: Reduce loading time

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

#828 - Runtime table backend

Pull Request - State: closed - Opened by dannywillems over 1 year ago - 1 comment

#827 - Example links are broken

Issue - State: closed - Opened by Isaac-DeFrain almost 2 years ago - 1 comment
Labels: no-issue-activity

#826 - Remove mut functions

Pull Request - State: closed - Opened by fabrizio-m almost 2 years ago

#825 - return copy of the sponge state instead of ref

Pull Request - State: closed - Opened by fabrizio-m almost 2 years ago

#824 - Respect Runner.eval_constraints

Pull Request - State: closed - Opened by mitschabaude almost 2 years ago

#823 - Add run_and_check_exn and friends - RAMPUP

Pull Request - State: closed - Opened by mitschabaude almost 2 years ago

#822 - Add run_and_check_exn and friends

Pull Request - State: closed - Opened by mrmr1993 almost 2 years ago

#821 - Expose low level circuit runner tools for SnarkyJS

Pull Request - State: closed - Opened by mitschabaude almost 2 years ago - 3 comments
Labels: no-pr-activity

#820 - move custom gate gadgets to snarky-rs

Issue - State: closed - Opened by o1-david almost 2 years ago

#819 - use snarky-rs public output solution instead of snarky's

Issue - State: closed - Opened by o1-david almost 2 years ago

#818 - integrate snarky-rs changes into snarkyjs

Issue - State: closed - Opened by o1-david almost 2 years ago

#817 - implement wasm bindings

Issue - State: closed - Opened by o1-david almost 2 years ago

#816 - make pickles tests pass

Issue - State: closed - Opened by o1-david almost 2 years ago

#815 - replicate OCaml permutation so we have the same serialization

Issue - State: closed - Opened by o1-david almost 2 years ago

#814 - noname-style serialization/digest for permutation?

Issue - State: closed - Opened by o1-david almost 2 years ago

#813 - find solution for private inputs on the snarky-rs side

Issue - State: closed - Opened by o1-david almost 2 years ago

#811 - [part5] Changes to snarky to make snarky-rs integration work

Pull Request - State: closed - Opened by mimoo almost 2 years ago - 1 comment
Labels: no-pr-activity

#809 - better errors from snarky (and less panics)

Issue - State: closed - Opened by o1-david almost 2 years ago

#808 - make loc!() work

Issue - State: closed - Opened by o1-david almost 2 years ago

#807 - clean snarky-rs side

Issue - State: closed - Opened by o1-david almost 2 years ago

#806 - implement tests for all custom gates

Issue - State: closed - Opened by o1-david almost 2 years ago

#805 - figure out if we can move as_prover from rust to ocaml

Issue - State: closed - Opened by o1-david almost 2 years ago

#804 - convert custom gate inputs to rust custom gate inputs

Issue - State: closed - Opened by o1-david almost 2 years ago

#802 - figure out why poseidon serialization is empty in tests

Issue - State: closed - Opened by o1-david almost 2 years ago

#800 - [DO NOT MERGE] removing references in Run_state.t

Pull Request - State: closed - Opened by mimoo almost 2 years ago

#799 - [part4] Changes to snarky to make snarky-rs integration work

Pull Request - State: closed - Opened by mimoo almost 2 years ago - 1 comment
Labels: no-pr-activity

#798 - [part3] Abstract Run_state behind Backend

Pull Request - State: closed - Opened by mimoo almost 2 years ago - 1 comment
Labels: no-pr-activity

#797 - implement other new custom gates in snarky-rs

Issue - State: closed - Opened by o1-david almost 2 years ago

#796 - pass run_state through backend

Issue - State: closed - Opened by o1-david almost 2 years ago

#794 - make snarky-rs integration work on the mina side (compile)

Issue - State: closed - Opened by o1-david almost 2 years ago

#793 - [part2] Pass Cvar through backend

Pull Request - State: closed - Opened by mimoo almost 2 years ago - 1 comment
Labels: no-pr-activity

#792 - Creating Typ using the imperative interface

Issue - State: closed - Opened by mimoo almost 2 years ago - 1 comment
Labels: no-issue-activity

#791 - [part1] Generalize Typ.t over Cvar.t

Pull Request - State: closed - Opened by mrmr1993 almost 2 years ago - 2 comments
Labels: no-pr-activity

#790 - [WIP] attempt at adding type variables cvar and run_state

Pull Request - State: closed - Opened by mimoo almost 2 years ago

#789 - david: prepare snarky workshop for offsite

Issue - State: closed - Opened by o1-david almost 2 years ago

#788 - [WIP] latest changes

Pull Request - State: closed - Opened by mimoo almost 2 years ago - 1 comment
Labels: no-pr-activity

#787 - [typ] don't expose data_list & hlist

Pull Request - State: closed - Opened by mimoo almost 2 years ago - 1 comment
Labels: no-pr-activity

#785 - david: kimchi MIPS (in google doc)

Issue - State: closed - Opened by o1-david almost 2 years ago

#781 - [WIP] remove top-level cvar

Pull Request - State: closed - Opened by mimoo about 2 years ago

#780 - test pickles types.

Issue - State: closed - Opened by fabrizio-m about 2 years ago - 1 comment

#778 - Test improper calls

Issue - State: closed - Opened by fabrizio-m about 2 years ago - 1 comment
Labels: no-issue-activity

#777 - create a test to serialize protocol circuits as well

Issue - State: closed - Opened by o1-david about 2 years ago - 3 comments

#772 - [easy] simple cleanings

Pull Request - State: closed - Opened by mimoo about 2 years ago - 1 comment
Labels: no-pr-activity

#770 - make cvar an interface provided by backend

Issue - State: closed - Opened by o1-david about 2 years ago - 1 comment
Labels: no-issue-activity

#769 - replace plonk_constraint_system with rust equivalent

Issue - State: closed - Opened by o1-david about 2 years ago - 1 comment
Labels: no-issue-activity

#767 - [WIP][easy] remove in_checked_computation (unused)

Pull Request - State: closed - Opened by mimoo about 2 years ago - 3 comments
Labels: no-pr-activity

#762 - Use inline record for `Runtime_error`

Issue - State: closed - Opened by rbonichon about 2 years ago - 1 comment
Labels: no-issue-activity

#757 - test as_prover.Ref

Issue - State: closed - Opened by o1-david about 2 years ago - 4 comments
Labels: no-issue-activity

#754 - run tests on integrated Rust runstate

Issue - State: closed - Opened by o1-david about 2 years ago

#746 - move run_state behind an interface (but keep OG one for comparative tests)

Issue - State: closed - Opened by o1-david about 2 years ago - 1 comment
Labels: no-issue-activity

#741 - figure out request/handler situation

Issue - State: closed - Opened by o1-david about 2 years ago - 1 comment
Labels: no-issue-activity

#721 - test the different global-relying APIs

Issue - State: closed - Opened by fabrizio-m about 2 years ago

#720 - test the same things with the monadic interface

Issue - State: closed - Opened by fabrizio-m about 2 years ago - 3 comments
Labels: no-issue-activity

#716 - test merging of generic gates

Issue - State: closed - Opened by fabrizio-m about 2 years ago - 1 comment
Labels: no-issue-activity

#715 - tests for all snarky types (e.g. boolean)

Issue - State: closed - Opened by fabrizio-m about 2 years ago

#713 - Snarky-ml Testing

Issue - State: closed - Opened by fabrizio-m about 2 years ago - 2 comments
Labels: Epic

#707 - maybe remove the `type 'f field = 'f`, but not sure if it's going to be helpful now

Issue - State: closed - Opened by mimoo about 2 years ago - 1 comment

#706 - remove pedersen hash

Issue - State: closed - Opened by mimoo about 2 years ago - 1 comment

#704 - implement EC gates in snarky-rs

Issue - State: closed - Opened by mimoo about 2 years ago - 2 comments
Labels: no-issue-activity

#700 - reintroduce is_running, has_witness, as_prover booleans in snarky-rs

Issue - State: closed - Opened by mimoo about 2 years ago - 1 comment