circify/circ issues and pull requests

#100 - SV Comp-style tests for C front-end.

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

#99 - Incorrect version of ZoKrates in README

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

#98 - fmt

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

#97 - bv uext in smt output

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

#96 - add.c: mpc_main -> main

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

#95 - examples/C/r1cs/add.c apparently set up for MPC?

Issue - State: closed - Opened by kwantam about 2 years ago - 10 comments

#94 - change ffOP to ff.OP in SMT backend

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

#93 - lint

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

#92 - integer constant folding

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

#91 - Integers

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

#90 - bugfix: pfadd->pfmul

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

#89 - Option to isolate ZoKrates assertions.

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#88 - RAM extraction

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#87 - get r1cs as IR

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#86 - smt target: ff

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#85 - Updated binarize optimization pass

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#84 - Function Call Abstraction -- Prototype

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#83 - function calls

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#82 - Bugfix: non-recursive type-checking for Op::Map

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#81 - concurrency fixes for garbage collection

Pull Request - State: closed - Opened by kwantam over 2 years ago

#80 - Precomputations (or, as-known-for-proofs, witness extension)

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#79 - compile C to R1CS

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

#78 - Exposing vector_add to zok frontend

Pull Request - State: open - Opened by edwjchen over 2 years ago - 1 comment

#77 - improve memory consumption ; add Z# strict unary op, ternary ?:, and type aliases

Pull Request - State: closed - Opened by kwantam over 2 years ago - 1 comment

#76 - Type checks for ABY translation

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#75 - Eliminate tuples with persistent vectors

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#74 - Improve non-recursive type-checking

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago - 1 comment

#73 - zsharp fixes ; speed improvements

Pull Request - State: closed - Opened by kwantam over 2 years ago

#72 - Adding benchmark scripts and logging for ABY backend

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#71 - Updated ABY tests to ignore logging code

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#70 - Spartan Backend

Pull Request - State: closed - Opened by jkwoods over 2 years ago - 32 comments

#69 - cfold: divide by zero semantics

Issue - State: closed - Opened by kwantam over 2 years ago - 2 comments

#68 - Two write-ups

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#67 - Updates to C Frontend

Pull Request - State: closed - Opened by edwjchen over 2 years ago - 1 comment

#66 - field flexibility ; add limit for linearity reduction

Pull Request - State: closed - Opened by kwantam over 2 years ago - 11 comments

#65 - Updated ABY VM to include `IN` bytecode instruction

Pull Request - State: closed - Opened by edwjchen over 2 years ago - 2 comments

#64 - SetDefaultModulus bug

Issue - State: closed - Opened by kwantam over 2 years ago

#63 - Removing old ABY dependency

Pull Request - State: closed - Opened by edwjchen over 2 years ago - 2 comments

#62 - Fix PfToBv check in eval.

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago - 1 comment

#61 - PfToBv: only defined for field elms in 0,1?

Issue - State: closed - Opened by kwantam over 2 years ago - 3 comments

#60 - Add option to bound LC substitution

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#59 - add flamegraph action

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#58 - Removing EzPC dependency

Pull Request - State: closed - Opened by edwjchen over 2 years ago - 1 comment

#57 - performance issues: linearity reduction for R1CS

Issue - State: closed - Opened by kwantam over 2 years ago - 8 comments

#56 - Kill dead file?

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago - 5 comments

#55 - Added Map to IR (evaluation and typechecking)

Pull Request - State: closed - Opened by Northrim over 2 years ago - 1 comment

#54 - Updating build system - 2

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#53 - Revert "Updating build system"

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#52 - update EZPC file

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#51 - Updating build system

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#50 - Revert "Updating build system"

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#49 - compile error

Issue - State: closed - Opened by haroldcarr over 2 years ago - 3 comments

#48 - IR textual format: parser & serializer.

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#47 - ABY VM and Interpreter

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#46 - Updated ABY testing setup

Pull Request - State: closed - Opened by edwjchen over 2 years ago - 1 comment

#45 - Function and Import support for C Frontend

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#44 - Updating build system

Pull Request - State: closed - Opened by edwjchen over 2 years ago - 4 comments

#43 - IR Partitioning for MPC backend

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#42 - Remove un-needed casts

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#41 - Added SEAL library and FHE mode

Pull Request - State: open - Opened by Northrim over 2 years ago

#40 - Updating github workflows to cache ABY

Pull Request - State: closed - Opened by edwjchen over 2 years ago

#39 - IR tuple internal repr

Issue - State: closed - Opened by kwantam over 2 years ago

#38 - Attempt to cache submodule build

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago - 2 comments

#37 - OOB array access semantics

Issue - State: closed - Opened by kwantam over 2 years ago - 11 comments

#36 - with_indices: is this doing anything?

Issue - State: closed - Opened by kwantam over 2 years ago - 4 comments

#35 - Resolve lints and add clippy to CI

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#34 - Make the SMT solver configurable.

Pull Request - State: closed - Opened by alex-ozdemir over 2 years ago

#33 - IR-based Zokrates front-end

Pull Request - State: closed - Opened by alex-ozdemir almost 3 years ago

#32 - Switch to stable

Pull Request - State: closed - Opened by alex-ozdemir almost 3 years ago

#31 - moduli and types for field elements

Issue - State: closed - Opened by kwantam almost 3 years ago - 2 comments
Labels: enhancement

#30 - feature branch: zsharp

Pull Request - State: closed - Opened by kwantam almost 3 years ago - 16 comments

#29 - CI: clippy and format

Issue - State: closed - Opened by kwantam almost 3 years ago
Labels: cleanup

#28 - reorg proposal: workspace, front- and back-ends in separate crates, etc.

Issue - State: open - Opened by kwantam almost 3 years ago - 3 comments
Labels: question

#27 - Public inputs for proofs.

Pull Request - State: closed - Opened by alex-ozdemir almost 3 years ago

#26 - Datalog

Pull Request - State: closed - Opened by alex-ozdemir almost 3 years ago

#25 - Deterministic compilation & better CLI

Pull Request - State: closed - Opened by alex-ozdemir almost 3 years ago

#24 - Brief licensing query

Issue - State: closed - Opened by cwgoes almost 3 years ago - 2 comments

#23 - in arch, "coinor-cbc" should be "coin-or-cbc"

Issue - State: closed - Opened by kwantam almost 3 years ago - 1 comment

#22 - C Frontend

Pull Request - State: closed - Opened by edwjchen almost 3 years ago - 1 comment

#21 - Fixed compiler warnings in lowering to ABY

Pull Request - State: closed - Opened by edwjchen about 3 years ago

#20 - datalog

Pull Request - State: closed - Opened by alex-ozdemir about 3 years ago - 1 comment

#19 - Support lowering loops to ABY

Pull Request - State: closed - Opened by edwjchen about 3 years ago

#18 - Integrated EZPC helper file

Pull Request - State: closed - Opened by edwjchen about 3 years ago

#17 - Added support for multiple outputs in test cases

Pull Request - State: closed - Opened by edwjchen about 3 years ago

#16 - Added Conversion Gates & Integrated with OPA SharingMap

Pull Request - State: closed - Opened by edwjchen about 3 years ago

#15 - Draft OPA implementation

Pull Request - State: closed - Opened by alex-ozdemir about 3 years ago

#14 - More efficient comparison calls using bool negation

Pull Request - State: closed - Opened by edwjchen about 3 years ago

#13 - Tested ite

Pull Request - State: closed - Opened by edwjchen about 3 years ago

#12 - Updated parameter passing for ABY test cases

Pull Request - State: closed - Opened by edwjchen about 3 years ago

#11 - added const value translation for ABY

Pull Request - State: closed - Opened by edwjchen about 3 years ago

#10 - ZoKrates->ILP toolchain and tests

Pull Request - State: closed - Opened by alex-ozdemir about 3 years ago

#9 - Bool->ILP

Pull Request - State: closed - Opened by alex-ozdemir about 3 years ago

#8 - CBC dependency for LPs

Pull Request - State: closed - Opened by alex-ozdemir about 3 years ago

#7 - Updated submodules

Pull Request - State: closed - Opened by edwjchen about 3 years ago

#6 - Updated time cmd for both OSX and LINUX

Pull Request - State: closed - Opened by edwjchen about 3 years ago

#5 - Update ci.yml

Pull Request - State: closed - Opened by edwjchen about 3 years ago

#4 - Zok to ABY pipeline

Pull Request - State: closed - Opened by edwjchen about 3 years ago - 1 comment

#3 - Upgrading ZoKrates to 0.7.x. Support for const and u64.

Issue - State: closed - Opened by sshravan about 3 years ago - 1 comment

#2 - Cannot perform op `==` on array and array

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

#1 - optimization opportunity: constants in operations whose cost depends on operand size

Issue - State: open - Opened by kwantam about 3 years ago
Labels: enhancement

GitHub / circify/circ issues and pull requests