Authors: Somboon Lim
Description:
LuckyStar is a decentralized, transparent, and secure raffle game leveraging the power of Zero-Knowledge Proofs. This project ensures the integrity of the raffle process, providing proof of rewards while maintaining participants' privacy. By utilizing innovative cryptographic techniques, LuckyStar brings fairness and trustworthiness to digital lottery systems.
Link: GitHub - LuckyStar
Authors: Yuttakhan Baingen, John Kaller, Qinghao Huang, Alok Kumar, Harold Lee, Kenil Shah
Description:
zklings is an educational repository designed to teach the implementation of Zero-Knowledge Proofs. The repository includes exercises and examples covering foundational topics like Circom circuits and commitment schemes, providing developers with a hands-on approach to mastering ZKP technology. This project aims to bridge the gap between theory and practice in the world of cryptographic proofs.
Link: GitHub - zklings
Authors: TANMAY GOEL, Tim Pechersky
Description:
CNX-DonationBoard is an open-source platform designed for real-time transparency in charitable donations. Utilizing an ESP32 microcontroller and an LED display, this project displays live updates on a multisig wallet dedicated to Chiang Mai flood relief efforts. By incorporating blockchain technology, CNX-DonationBoard ensures accountability and builds trust among donors and recipients.
Link: GitHub - CNX-DonationBoard
Authors: YangXiaoXue
Description:
"Dive Deep into Circle STARKs" is an in-depth series of articles exploring the mathematical underpinnings of Circle STARK. Focusing on Sections 3 to 5 of the technical paper, this project provides a comprehensive breakdown of the decomposition of the quotient polynomial. It is a valuable resource for developers and researchers delving into advanced cryptographic concepts.
Link: GitHub - Dive Deep into Circle STARKs
Authors: Steve Nguyen, Draply Do, Duoc Bui, Hai(Ægir) Trieu, Andrew Tran
Description:
Apstark is an innovative Layer 2 ZK-Rollup blockchain built on the Aptos network. This project leverages Zero-Knowledge Proofs to ensure scalability and security, making it a robust solution for decentralized applications.
Link: GitHub - Apstark
Author: Mouzayan Delbourgo
Description:
PUSH STAKING V3 introduces a novel staking feature that separates rewards into two distinct pools: one for token holders and another for wallet integrators. This ensures a balanced reward distribution and incorporates protocol governance for managing integrator wallets, enhancing the flexibility and efficiency of the staking process.
Link: GitHub - PUSH STAKING V3
Authors: Arpit Kumar, Manul Singh Parihar
Description:
zkCX enhances the eSIM provisioning process by integrating Zero-Knowledge Proofs for authentication. The project addresses the limitations of traditional X.509 certificates and improves Certificate Issuer (CI) processes, offering a more secure and privacy-preserving solution for remote SIM provisioning.
Link: GitHub - zkCX
Authors: Steve Nguyen, Vanhger Pham, Draply Do, Andrew Tran, Duoc Bui, Hai(Ægir) Trieu
Description:
Zk Auction is a secure, privacy-preserving sealed-bid auction platform utilizing Zero-Knowledge Proofs. It ensures that bidders' information remains confidential while maintaining fairness and transparency. Designed as a reference for dApp developers, the platform demonstrates the use of advanced cryptographic tools like SP1 or Plonky3.
Link: GitHub - Zk Auction
Authors: DmitryS, Steve Nguyen, Evan, Allen, Eric
Description:
EVM Telegram ZK explores the integration of EVM wallets with Telegram's API and Mini Apps, focusing on secure private key storage and Zero-Knowledge Proof-based solutions. This project aims to bridge blockchain technology with mainstream communication platforms, enhancing usability and privacy.
Link: GitHub - EVM Telegram ZK
Authors: Nguyen Hoai Duy, Huynh Van Dong, Vo Huu Nhan
Description:
FL_EZKL integrates Federated Learning with Zero-Knowledge Proofs to verify the integrity of machine learning model weights. This approach enhances data privacy and enables secure, decentralized updates for AI models without compromising on trustworthiness or performance.
Link: GitHub - FL_EZKL
Authors: Box, Bruce, Chloe
Description:
Modity is a browser-based development environment designed for Solidity developers. It provides a Jupyter Notebook-like interface, enabling users to write, test, and deploy smart contracts on EVM-compatible blockchains directly from their web browser, simplifying the development workflow.
Link: GitHub - Modity
Authors: Qinghao, Eric
Description:
According.Work is an innovative platform for automated and fair reward distribution to open-source contributors. It uses blockchain technology to transparently calculate and allocate rewards based on the quality and quantity of contributions, promoting a fairer ecosystem for developers.
Link: GitHub - According.Work
Author: Jeff Huang
Description:
HaaS Hook (Hooks as a Service) extends Uniswap v4's functionality by decoupling hook logic from liquidity pools. This allows developers to create and deploy user-defined hooks without requiring new pools, streamlining the customization and implementation of complex decentralized finance (DeFi) logic.
Link: GitHub - HaaS Hook
Author: Harold
Description:
The Abstract Algebra Manual simplifies the understanding of abstract algebra concepts for cryptography using Rust's traits and generics. It serves as an accessible guide for beginners, providing practical examples and applications of algebraic principles in cryptographic systems.
Link: GitHub - Abstract Algebra Manual
Authors: 0xhhh, dylan_zk, Andrew0ngX, Jade
Description:
This project integrates the STIR protocol into Plonky3, creating recursive circuits and a Bitcoin verifier based on OP_CAT. The implementation demonstrates advanced ZKP concepts, focusing on scalability and efficiency in cryptographic proofs.
Link: GitHub - PoS (Plonky3 of STIR)
Authors: Ployhold, Kriz, wtchaidev, Kongphop
Description:
PrivacyVisa is a secure payment solution leveraging Zero-Knowledge Proofs to protect users' privacy during transactions. By ensuring sensitive information remains confidential, PrivacyVisa paves the way for more secure and private financial systems.
Link: GitHub - PrivacyVisa
Author: Alok Kumar
Description:
Kalki is a key lattice framework designed for secure and concurrent group messaging. It integrates forward secrecy (FS) and post-compromise security (PCS) without relying on time-based epochs, ensuring robust and efficient key management for communication platforms.
Link: GitHub - Kalki
Authors: Bing Hwang, Juno Chiu, Eric, Pinhao Chen, Jeff Chung, Shuang Wu, Varun Thakore, Jade, Youlong Ding
Description:
ZKResearch is a collaborative initiative exploring the landscape of next-generation Zero-Knowledge Proof systems. With the support of mentors, participants dive deep into specific topics, contributing to the ongoing development and understanding of ZKP technology.
Link: GitHub - ZKResearch
Authors: Vishal Kulkarni, Changmin Cho
Description:
Circom-tfhe-rs enables developers to write Circom code and execute Fully Homomorphic Encryption (FHE) using the tfhe-rs framework. This project enhances benchmarking capabilities and expands the use cases for FHE in cryptographic applications.
Link: GitHub - Circom-tfhe-rs
Authors: Paul Glavin, Felipe Novaez Rocha, Corantin Gossman, Matias Manta, Luciano Scaminaci, Rodrigo Perez, Kevin Mansour, Thiago Rossi
Description:
Gardens provides a decentralized governance framework for web3 ecosystems, enabling communities to coordinate and fund public goods. It offers open-source tools to foster collective decision-making and resource allocation.
Link: GitHub - Gardens
Authors: Shanshan, BILLSTA, Yiko
Description:
Proof of Invisible is a cryptographic attendance verification system that combines user identity, timestamps, and location data. It provides a secure and private way to prove presence at events without compromising user privacy.
Link: GitHub - Proof of Invisible
Author: Ivan Anishchuk
Description:
Syur explores advanced ZKP-based systems like LogUp+GKR and zkMatrix for GPU-accelerated machine learning inference. This research pushes the boundaries of ZKP applications in efficient and scalable ML verification.
Link: GitHub - Syur