zkllvm-blueprint icon indicating copy to clipboard operation
zkllvm-blueprint copied to clipboard

Published 20 hours ago • verified publisher icon NilFoundation
→

Metadata

Circuit components definition library for zkLLVM circuit compiler

Results 77 zkllvm-blueprint issues
Sort by recently updated
recently updated
newest added

Cleanups and miscellaneous fixes

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...

nemothenoone avatar nemothenoone

enhancement

Various tests fixes

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

nemothenoone avatar nemothenoone

enhancement

Commitment scheme verification

Iluvmagick avatar Iluvmagick

Final polynomial check for recursive verifier.

Iluvmagick avatar Iluvmagick

Circuits for BLS12-381

Low-level components for BLS12-381 pairing computation

ayashunsky avatar ayashunsky

Testing rig now uses all empty constant columns for lookup tables.

Closes #282.

Iluvmagick avatar Iluvmagick

Added a proper private input extractor.

Iluvmagick avatar Iluvmagick

Scaling benchmarks

Iluvmagick avatar Iluvmagick

Fixed hash decomposition component.

Iluvmagick avatar Iluvmagick

Re-enable connectedness check.

Iluvmagick avatar Iluvmagick

← Metadata

40
Stars
16
Forks
Watchers

Owner

verified publisher icon NilFoundation

Metadata

Circuit components definition library for zkLLVM circuit compiler

Back