8000 bankisan (bankisan) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View bankisan's full-sized avatar

Block or report bankisan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Use your Neovim like using Cursor AI IDE!

Lua 14,322 618 Updated Jun 10, 2025
TypeScript 35 13 Updated Sep 17, 2024

A hidden-information game without a trusted third party. Uses MPC and zero-knowledge proofs.

TypeScript 39 3 Updated May 2, 2023

The math library of Lean 4

Lean 2,044 438 Updated Jun 10, 2025
Python 47 3 Updated Sep 22, 2024

Decentralized Summation System

Solidity 46 4 Updated Jul 31, 2022
Solidity 26 4 Updated Sep 10, 2023

A curated list of resources on zkECDSA

36 1 Updated Aug 1, 2023

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Rust 9,016 2,001 Updated Jun 10, 2025

A Language Server Protocol Implementation for Circom

Rust 31 3 Updated Jun 3, 2023

KYC without doxxing yourself. Prove your identity to a third party without disclosing it.

TypeScript 41 1 Updated May 23, 2023

Noir is a domain specific language for zero knowledge proofs

Rust 1,090 294 Updated Jun 10, 2025

Execute programs from forge with an open 2-way communication channel between both

Solidity 57 1 Updated May 30, 2024

A dead-simple API to build LLM-powered apps

TypeScript 513 53 Updated Nov 27, 2024

SealHub ECDSA verifier contract

Circom 5 2 Updated Mar 21, 2023

zero knowledge proof aggregator for general circuit

Rust 72 4 Updated May 20, 2024

The backend framework for crypto apps

TypeScript 841 158 Updated Jun 9, 2025

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

Rust 210 37 Updated Dec 5, 2023

Middleware to compile Circom circuits to Nova prover 4855

JavaScript 239 53 Updated Mar 1, 2024

zkSNARK implementation in JavaScript & WASM

JavaScript 1,883 465 Updated Jun 10, 2025

Homework for Thor's crypto study group

Rust 3 Updated Jul 9, 2023

zkSnark circuit compiler

WebAssembly 1,472 326 Updated Apr 7, 2025
0