lurk-lab Goto Github PK

.github

abomonation

A mortifying serialization library for Rust

abomonation_derive

A macros 1.1 #[derive(Abomonation)] implementation for the abomonation crate

arecibo

An advanced fork of Nova

awesome-blockchain-rust

Collect libraries and packages about blockchain/cryptography in Rust

awesome-folding

A curated list of zero-knowledge folding schemes

bellanova.lean

bellpepper

SNARK Circuit library

bellpepper-gadgets

A library of gadgets compatible with bellpepper and bellperson

bellperson

zk-SNARK library

bellperson-nonnative

Non-native arithmetic for SNARKs

blake3.lean

Lean4 bindings to the Blake3

bls12_381

Implementation of the BLS12-381 pairing-friendly elliptic curve group

blst

Multilingual BLS12-381 signature library

blstrs

bytecursor

No_std buffer library

cedille-core-rs

Implementation of Cedille Core in Rust

ci-lab

Testing grounds for CI and GH Actions workflows

ci-workflows

GitHub Actions workflows and templates for use in Lurk repos

cid

Self-describing content-addressed identifiers for distributed systems

circom-scotia

cli.lean

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

collaborations

A repository to support ongoing Lurk collaborations

ec-gpu

OpenCL code generator for finite-field arithmetic over arbitrary prime fields

electrolysis

Simple verification of Rust programs via functional purification in Lean (2 rewrite to 4)

elsa

Append-only collections for Rust where borrows to entries can outlive insertions

ff

Traits and utilities for working with finite fields.

ffacil.lean

Finite Fields and Curves in Lean

fut-ff

Finite Fields for Futhark

gh-actions-runner

Self-hosted runner for Lurk CI in Docker