qap

A list of awesome solutions on top of Qlik's APIs & Qlik Analytics Platform (QAP).

Arithmetic circuits for zero knowledge proof systems

MRQAP Implementation in Python

Resolving quadratic assignment problem with genetic algorithm

A python version of the components of zcash zk-SNARKs - https://z.cash/technology/zksnarks

GraphQL Server on top of the Qlik Associative Engine (a.k.a. QIX Engine).

Library built from scratch to implement zk-protocols

Rank-1 Constraint System (R1CS) to Quadratic Arithmetic Program (QAP) transformation using polynomial roots and witness verification.

Quadratic Arithmetic Program (QAP) reduction transforming R1CS constraints into polynomial divisibility statements

Quadratic Arithmetic Program (QAP) reduction transforming R1CS constraints into polynomial divisibility statements

Dual decomposition solvers for the quadratic assignment problem (QAP), also called graph matching in computer vision based on the LP_MP library.

Rank-1 Constraint System (R1CS) to Quadratic Arithmetic Program (QAP) transformation using polynomial roots and witness verification.

Unofficial implemnetation of "Solving Quadratic Assignemt Problem using Deep Reinforcement Learning" (https://arxiv.org/abs/2310.01604)

Heuristics for the Quadratic Assignment Problem (QAP) - R package

qap优化、实战经验

Materials for a course of metaheuristics of combinatorial problems

R1CS-QAP-Pinocchio-Groth16 study project

A QAP compiler implemented in Python, used to compile the codes written in a Python-like programming language into its QAP form, and perform Groth16's setup, proof and verification steps.

Moda Palas Blackboard Cryptography II - Arithmetic Circuits & R1CS

laboratory works for combinatoric optimization course