kfxp12138

kfxp12138's Stars

• winderica/PoST_NDSS20

  Implementation of paper "Proof of Storage-Time: Efficiently Checking Continuous Data Availability"

  Language:Rust5

• microsoft/Nova

  Nova: High-speed recursive arguments from folding schemes

  Language:Rust725193

• zkcrypto/bls12_381

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

  Language:Rust309180

• EspressoSystems/jellyfish

  A Rust Implementation of the PLONK ZKP System and Extensions

  Language:Rust411109

• chensijiang/snarkVM_zp

  merge https://github.com/z-prize/2022-entries/tree/main/team-division/prize2-posw-gpu/simonatsn

  Language:Rust1

• storswiftlabs/zkML

  zkML Algorithms

  Language:Python5

• supranational/sppark

  Zero-knowledge template library

  Language:Cuda18865

• xiaoyu1998/aleo-prover

  aleo prover

  Language:Rust25

• xiaoyu1998/web3.learning

  web3 projects source code flowchart diagrams

  Language:WebAssembly11032

• howardwu/awesome-aleo

  🏎️ A curated list of Aleo & Leo code and resources 🏎️

  365246

• AleoNet/snarkOS

  A Decentralized Operating System for ZK Applications

  Language:Rust4.4k2.6k

• matter-labs/z-prize-msm-gpu-combined

  Combined solution from Matter Labs and Yrrid based on their respective submissions for the Z-Prize category Accelerating MSM Operations on GPU/FPGA

  Language:Cuda159

• Liu-xiandong/How_to_optimize_in_GPU

  This is a series of GPU optimization topics. Here we will introduce how to optimize the CUDA kernel in detail. I will introduce several basic kernel optimizations, including: elementwise, reduce, sgemv, sgemm, etc. The performance of these kernels is basically at or near the theoretical limit.

  Language:Cuda868137

• filecoin-project/bellperson

  zk-SNARK library

  Language:Rust193121

• wurahara/Graduate-Applied-Cryptography-CN

  The Chinese translation of A Graduate Course in Applied Cryptography by Dan Boneh and Victor Shoup.

  Language:TeX141

• YuZhang/cryptography

  Cryptography course slides at Harbin Institute of Technology

  Language:TeX18071

• speakspeak/zk_paper_reading_list

  2

• barryWhiteHat/roll_up

  scale ethereum with snarks

  Language:C++36353

• adria0/awesome-halo2

  List of halo2-related resources

  18923

• z2o-k7e/z2o-k7e.github.io

  The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia

  Language:CSS7042

• lyronctk/zator

  Verifying a 512-layer CNN w/ Nova

  Language:Circom15913

• zkonduit/ezkl

  ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

  Language:Rust977144

• speakspeak/cuZK

  cuZK: An Efficient GPU Implemetation of zkSNARK

  Language:Cuda2611

• ingonyama-zk/papers

  A repo for our research papers :heart:

  21117

• ingonyama-zk/icicle

  A hardware acceleration library for compute intensive cryptography :ice_cube:

  Language:C++350113

• ingonyama-zk/blaze

  blaze is a Rust library for ZK acceleration on Xilinx FPGAs.

  Language:Rust14217

• ventali/awesome-zk

  A curated list of awesome ZK resources, libraries, tools and more.

  1.5k210

• ingonyama-zk/ingopedia

  A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

  71085

• binary-husky/gpt_academic

  为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。

  Language:Python66.6k8.2k

• matter-labs/era-boojum-cuda

  A library implementing GPU-accelerated cryptographic functionality for the zkSync prover.

  Language:Rust2512