Ecosyste.ms: Issues

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

GitHub / reilabs/gnark-lean-extractor issues and pull requests

#47 - Support structs

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

#47 - Support structs

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

#44 - feat: gates version in header

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

#44 - feat: gates version in header

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

#43 - Bump Gnark to v0.9.2-0.20240322153533-3abde1199375

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

#43 - Bump Gnark to v0.9.2-0.20240322153533-3abde1199375

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

#42 - Updated readme

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

#42 - Updated readme

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

#41 - chore: removed abstractor.API

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

#41 - chore: removed abstractor.API

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

#40 - chore: added v2 extension to paths

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

#40 - chore: added v2 extension to paths

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

#39 - chore: upgraded to `gnark v0.9.0-alpha.0`

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

#39 - chore: upgraded to `gnark v0.9.0-alpha.0`

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

#37 - chore: fix naming and format

Pull Request - State: open - Opened by Eagle941 over 1 year ago

#37 - chore: fix naming and format

Pull Request - State: open - Opened by Eagle941 over 1 year ago

#36 - feat: added support for dynamic namespace

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

#36 - feat: added support for dynamic namespace

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

#35 - [TASK] Manually inject circuit namespace

Issue - State: closed - Opened by Eagle941 over 1 year ago
Labels: enhancement

#35 - [TASK] Manually inject circuit namespace

Issue - State: closed - Opened by Eagle941 over 1 year ago
Labels: enhancement

#34 - fix: `ToBinary` and nested Slices

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

#34 - fix: `ToBinary` and nested Slices

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

#33 - feat: added support for gadget only extractor

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

#33 - feat: added support for gadget only extractor

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

#32 - Add Lean extraction for a gadget (and all deps)

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

#32 - Add Lean extraction for a gadget (and all deps)

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

#31 - fix: Concretizer.Call loop

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

#31 - fix: Concretizer.Call loop

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

#30 - [BUG] Concretizer.Call infinite loop

Issue - State: closed - Opened by Eagle941 over 1 year ago
Labels: bug

#30 - [BUG] Concretizer.Call infinite loop

Issue - State: closed - Opened by Eagle941 over 1 year ago
Labels: bug

#29 - feat: added abstractor.CallGadget

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

#29 - feat: added abstractor.CallGadget

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

#27 - fix: created CloneCircuit function

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

#27 - fix: created CloneCircuit function

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

#26 - [BUG] Pointer error when calling NewWitness after Extractor

Issue - State: closed - Opened by Eagle941 over 1 year ago
Labels: bug

#26 - [BUG] Pointer error when calling NewWitness after Extractor

Issue - State: closed - Opened by Eagle941 over 1 year ago
Labels: bug

#25 - chore: comments

Pull Request - State: open - Opened by Eagle941 over 1 year ago

#25 - chore: comments

Pull Request - State: open - Opened by Eagle941 over 1 year ago

#24 - Prepare the repository for publication

Pull Request - State: closed - Opened by iamrecursion over 1 year ago
Labels: documentation

#24 - Prepare the repository for publication

Pull Request - State: closed - Opened by iamrecursion over 1 year ago
Labels: documentation

#23 - chore: Added license

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

#23 - chore: Added license

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

#22 - feat: Added readme

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

#22 - feat: Added readme

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

#21 - Check unexported fields

Issue - State: open - Opened by Eagle941 over 1 year ago

#20 - chore: Renamed repo to gnark-lean-extractor

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

#20 - chore: Renamed repo to gnark-lean-extractor

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

#19 - fix: Fixed import Vector header

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

#19 - fix: Fixed import Vector header

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

#18 - feat: Removing definegadget

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

#18 - feat: Removing definegadget

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

#17 - feat: Dynamic circuit namespace

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

#17 - feat: Dynamic circuit namespace

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

#16 - feat: Added dynamic curve order in exported circuit

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

#16 - feat: Added dynamic curve order in exported circuit

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

#15 - Removing `DefineGadget`

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

#15 - Removing `DefineGadget`

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

#14 - Dynamic circuit namespace

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

#14 - Dynamic circuit namespace

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

#13 - Exported Order must match curve

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

#12 - chore: refactoring for alpha version

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

#11 - feat: Added Semaphore protocol

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

#10 - Replicate semaphore protocol in gnark-extractor

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

#9 - feat: improved Gadget API

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

#8 - feat: added Github actions

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

#7 - feat: implemented gates and single entry point

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

#6 - Create a one-stop entry point for Lean exports

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

#5 - Improve gadget API

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

#4 - Design and implement binary representation support in Lean

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

#3 - Implement missing arithmetic and logical gates in lean and the lean exporter

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

#2 - Set up the supporting Lean library

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

#1 - Implement missing gates in the extractor

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