QED-it/zkinterface issues and pull requests

#50 - build(deps): bump flatbuffers from 0.5.0 to 23.5.26 in /rust

Pull Request - State: open - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#49 - build(deps): bump thread_local from 1.0.1 to 1.1.4 in /cpp/libsnark-rust

Pull Request - State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#48 - build(deps): bump smallvec from 0.6.13 to 0.6.14 in /cpp/libsnark-rust

Pull Request - State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#47 - build(deps): bump regex from 1.3.9 to 1.5.6 in /cpp/libsnark-rust

Pull Request - State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#46 - build(deps): bump regex from 1.1.0 to 1.5.5 in /rust

Pull Request - State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#45 - build(deps): bump smallvec from 0.6.7 to 0.6.14 in /rust

Pull Request - State: open - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#44 - build(deps): bump flatbuffers from 0.5.0 to 0.8.1 in /rust

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#42 - Write the zkif "file identifier" to written files.

Pull Request - State: closed - Opened by elefthei over 3 years ago

#41 - Are the flatbuffer schema and the autogenerated Rust code in sync?

Issue - State: closed - Opened by elefthei over 3 years ago - 8 comments

#40 - Allow to set field/instances number/witness number using CLI when generating circuits

Pull Request - State: closed - Opened by Michael-Qedit almost 4 years ago

#39 - example --field-order and updated instructions

Pull Request - State: closed - Opened by naure almost 4 years ago

#38 - Variables fields do not typecheck with wasm demo

Issue - State: closed - Opened by elefthei almost 4 years ago - 2 comments

#37 - metrics: Fix a bug about non-assigned variable-id

Pull Request - State: closed - Opened by Michael-Qedit about 4 years ago

#36 - feat/updated_docs

Pull Request - State: closed - Opened by PaulLaux about 4 years ago

#35 - Mad/metrics: Generation of many R1CS systems for benchmarking proof systems

Pull Request - State: closed - Opened by Michael-Qedit about 4 years ago

#34 - Ci

Pull Request - State: closed - Opened by naure over 4 years ago

#33 - fix-simul: unified validator and simulator interface, streaming only,…

Pull Request - State: closed - Opened by naure over 4 years ago

#32 - Add .circleci/config.yml

Pull Request - State: closed - Opened by naure over 4 years ago

#31 - Multi-files and example streaming (doc test)

Pull Request - State: closed - Opened by naure over 4 years ago

#30 - Read all messages from workspace

Pull Request - State: closed - Opened by naure over 4 years ago

#29 - workspace: add export of constraints into multiple files instead of o…

Pull Request - State: closed - Opened by Michael-Qedit over 4 years ago - 1 comment

#28 - streaming and unified workspace

Pull Request - State: closed - Opened by naure over 4 years ago

#27 - CLI fix

Pull Request - State: closed - Opened by naure over 4 years ago

#26 - [FIX] Flush constraints system to files with incremental names to avo…

Pull Request - State: closed - Opened by Michael-Qedit over 4 years ago - 1 comment

#25 - 1.2.0

Pull Request - State: closed - Opened by naure over 4 years ago

#24 - Fix/docs

Pull Request - State: closed - Opened by PaulLaux over 4 years ago - 1 comment

#23 - Adapter for Leo (Aleo Studio/blockchain)

Issue - State: open - Opened by Tails over 4 years ago

#22 - Adapter for Spartan

Issue - State: open - Opened by Tails over 4 years ago - 2 comments

#21 - gates: propose a specification for circuits of gates

Pull Request - State: closed - Opened by naure over 4 years ago

#20 - Does the libsnark prover require contiguous public inputs IDs?

Issue - State: open - Opened by naure over 4 years ago

#19 - Examples for libsnark circuit -> bulletproof

Issue - State: open - Opened by bl4ck5un over 4 years ago

#18 - gadgetlib: support multiple gadgets

Pull Request - State: open - Opened by naure over 4 years ago

#17 - Feat/constraints builder

Pull Request - State: closed - Opened by PaulLaux over 4 years ago - 1 comment

#16 - libsnark-e2e: End-to-end Rust/C++ gadget and proving flow

Pull Request - State: closed - Opened by naure over 4 years ago
Labels: wip

#15 - libsnark-rust: move Rust-C++ link in separate crate

Pull Request - State: closed - Opened by naure over 4 years ago

#14 - v1.1.1 - libsnark

Pull Request - State: closed - Opened by naure over 4 years ago

#13 - gadgetlib

Pull Request - State: closed - Opened by naure over 4 years ago

#12 - V1.2.1 cpp libsnark

Pull Request - State: closed - Opened by naure over 4 years ago - 1 comment

#11 - Version 1.2.0, 2020-06, Arithmetic circuits

Pull Request - State: closed - Opened by naure over 4 years ago
Labels: wip

#10 - Version 1.1.0, 2020-06, Simplifications

Pull Request - State: closed - Opened by naure over 4 years ago

#9 - Updated title for consistency with spec

Pull Request - State: closed - Opened by tromer over 4 years ago - 1 comment

#8 - Fix a couple of typos in the specification.

Pull Request - State: closed - Opened by Jaak over 4 years ago - 1 comment

#7 - Add PySNARK

Pull Request - State: closed - Opened by meilof about 5 years ago

#6 - Fix repository link

Pull Request - State: closed - Opened by dlubarov over 5 years ago - 1 comment

#5 - feat/update-readme

Pull Request - State: closed - Opened by tronch0 over 5 years ago

#4 - V2

Pull Request - State: closed - Opened by naure over 5 years ago

#3 - feat(rust-helpers): reorganize helpers to collect and read messages

Pull Request - State: closed - Opened by naure almost 6 years ago
Labels: wip

#2 - Includes cpp directory to use flatbuffers includes

Pull Request - State: closed - Opened by kobigurk almost 6 years ago

#1 - fix include paths to make the 'cargo test' pass

Pull Request - State: closed - Opened by tronch0 almost 6 years ago - 1 comment

GitHub / QED-it/zkinterface issues and pull requests