Misha Komarov

This particular PR introduces malloc function attribute usage.

RFP Proposal: Weighted threshold BLS

1

It seems there is a research proposal for this, but no particular RFP. Here it is now.

Fixes are relevant to: 1. Updating R1CS circuits to be at least compilable. 2. Updating old Kimchi/Pickes circuits architecture in preparations to merging together with #102 and then factoring out...

Linked to #169 but a more atomic issue with an easier to merge branch. Partially overlaps with #102.

Building for Skylake with no AVX support (e.g G4400 or G4500) fails.

7

Build for UNIX on Skylake (e.g. G4400 or G4500) fails because of AVX instruction marked as "black magic" presence in ```add_n.as``` and ```sub_n.as```. Commenting out such an instruction makes no...

[Possible bug] Symlinks creation doesn't take in count CMAKE_INSTALL_PREFIX

2

**Describe the bug** A `CMAKE_INSTALL_PREFIX` pre-configured installation fails with: ``` CMake Error at zkllvm/cmake/create-symlinks.cmake:12 (file): file failed to create symbolic link '/usr/bin/assigner': Operation not permitted Call Stack (most recent call...

Standalone native verifier

1

Resolves #318

This issue is dedicated to refactoring necessary for the sake of being possible to compile native verifier separately.