arnaucube

lf

Terminal file manager

spotube

🎧 Open source Spotify client that doesn't require Premium nor uses Electron! Available for both desktop & mobile!

termchat

Terminal chat through the LAN with video streaming and file transfer.

git-ring

Easy heterogeneous ring signatures for Git (and Github): prove membership among groups of users without revealing your identity.

zu-git-proofs

governance with trusted anons

r55

plonky2_keccak

bitcoin-fold

Implementation of a Proof-Carrying-Header for bitcoin using Nova IVC

sonobe-btc

Using folding schemes for a provable bitcoin light client

hash-based-snargs-book

Source code for "Building Cryptographic Proofs from Hash Functions"

Expander

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

pairing-witness

auxiliary witness for pairing paper

gloom

A simple local TOTP console application.

gnark-arkworks-verifier

slides

Presentation slides

pianist-gnark

The implementation of Pianist (a distributed variant of Plonk) based on gnark.

jczk

zksummit11 talk implementation on zk identity verification based on RJ13

sonobe

Experimental folding schemes library

guile-smt

A sparse Merkle tree implementation in Scheme

wgsl-poseidon

zkvm-benchmarks

Benchmarks of popular zkVMs including Jolt

space-efficient-sumcheck

guile-rlp

novanet

The world's first peer to peer decentralized zero knowledge proof network.

Bank3

The Bank of Web3 and Decentralized Autonomous Organizations

ark_algebra_py

gosss

Basic Shamir's secret sharing implementation in golang

MTProxy-Docker

Official proxy for client Telegram

ark-light-bitcoin-client

R1CS for verifying bitcoin pow using btc block headers and arkworks.

napkin

An Infinitely Large Napkin