Stefanos Chaliasos

Pony ignores distinct when using select() on top of distinct()

1

Hello I have the following query ```python from pony.orm import * db = Database() db.bind(provider='sqlite', filename=':memory:') class Foo(db.Entity): bar = Required(int) db.generate_mapping(create_tables=True) set_sql_debug(True) with db_session: row0 = Foo(bar=5) row1 =...

Add missing Make dependencies

2

Hello This pull request fixes the build script of this project. Specifically, it adds missing Make dependencies so that the targets of the project are re-generated correctly whenever there are...

It would be great if you could use [mcl](https://github.com/herumi/mcl) instead of ate-pairing library, mcl supports more architectures.

Hello This pull request fixes the build script of this project. Specifically, it adds missing Make dependencies so that the targets of the project are re-generated correctly whenever there are...

Add support for ffiasm

2

This PR adds support for [ffiasm](https://github.com/iden3/ffiasm), the library used from [rapidsnark](https://github.com/iden3/rapidsnark) for EC operations. For benchmarking, we are using [nanobench](https://nanobench.ankerl.com/index.html), a JavaScript runner that creates all required files and perform...

V0.1.0

5

PR of merging v0.1.0 to dev and then eventually merging it to the main branch and updating the website. # Description In this version of zk-Harness, we aim to support...

Currently, there is no naming convention for filenames: ``` ├── bellman │   ├── bellman_bls12_381_exponentiate.csv │   ├── bellman_bls12_381_sha256.csv │   ├── jsons │   └── memory ├── circom │   ├── circom_exponentiate.csv │   └──...

https://github.com/zkCollective/zk-Harness/blob/26b003ca06bf491ffcf15aa6b5dc0cf22d370718/frameworks/bellman_circuits/bellman_utils/src/lib.rs#L106C5-L106C58

Update Input format

2

Update the JSON structure of inputs to contain more details. Currently, the input JSONs contain only the input values for the circuits. We might want to add a description field...

To save multiple benchmark runs, we need to update the structure of the benchmarks directory to include a date or an incremental number.