Giters
swasilyev

swasilyev

Geek Repo

30

followers

18

following

136

stars

Github PK Tool:Github PK Tool

swasilyev's starred repositories

gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Language:GoLicense:Apache-2.0Stargazers:1360Issues:37Issues:465

awesome-MEV-resources

Get up to speed on Maximum Extractable Value

Stargazers:1044Issues:47Issues:0

defi-derivatives

A hopefully comprehensive guide to the defi derivative landscape

Stargazers:723Issues:31Issues:1

aztec-v1

Public repository for the AZTEC V1 protocol. For the latest zkRollup release see here https://github.com/AztecProtocol/aztec-2-bug-bounty

Language:JavaScriptLicense:LGPL-3.0Stargazers:633Issues:36Issues:47

aztec-connect

aztec connect repository

Language:TypeScriptLicense:MITStargazers:432Issues:24Issues:0

proof-systems

The proof systems used by Mina

Language:RustLicense:Apache-2.0Stargazers:392Issues:30Issues:617

jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions

Language:RustLicense:MITStargazers:385Issues:15Issues:224

sdk

SDK for private data access, built on homomorphic encryption.

Language:RustLicense:MITStargazers:327Issues:9Issues:11

snowbridge

A trustless bridge between Polkadot and Ethereum

Language:RustLicense:Apache-2.0Stargazers:287Issues:28Issues:131

gear

Web3 Ultimate Execution Engine

Language:RustLicense:GPL-3.0Stargazers:232Issues:21Issues:1163

polkavm

A fast and secure RISC-V based virtual machine

Language:RustLicense:Apache-2.0Stargazers:200Issues:13Issues:78

circom-pairing

Language:TypeScriptLicense:GPL-3.0Stargazers:186Issues:6Issues:15

garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

Language:CairoLicense:MITStargazers:171Issues:4Issues:31

aztec-packages

Language:C++License:Apache-2.0Stargazers:160Issues:36Issues:2548

supernova

Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758

Language:RustLicense:Apache-2.0Stargazers:119Issues:7Issues:0

gemini

An elastic proof system based on arkworks

Language:RustLicense:MITStargazers:72Issues:8Issues:4

zkalc

A web tool that helps you compare and visualize the performance of cryptographic operations

Language:JavaScriptLicense:BSD-3-ClauseStargazers:72Issues:4Issues:21

seeding

The account/rank pairs which the Technical Committee should introduce.

Stargazers:38Issues:0Issues:0

fs-dkr

FS-DKR: One Round Distributed Key Rotation

Language:RustLicense:GPL-3.0Stargazers:32Issues:6Issues:16

supra_seal

Language:C++License:Apache-2.0Stargazers:28Issues:7Issues:29

themis-rfcc

Repository with resources for the THEMIS RFC&C

License:MPL-2.0Stargazers:15Issues:7Issues:1

plumo-prover

Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf

Language:RustStargazers:14Issues:7Issues:2

libvectcom

An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algorithm for computing all N proofs in KZG-based VCs. Lastly, benchmarks.

Language:C++License:MITStargazers:13Issues:4Issues:0

dalc

Data Availability Light Client for Celestia

Language:GoStargazers:13Issues:5Issues:36

PolkaTools

Tools using the Polkadot API

Language:TypeScriptStargazers:12Issues:2Issues:0

Rsa_Zkp

An Efficient and Privacy preserving implementation for the Set membership problem using Rsa Accumulators coupled with Commit-Prove-Snark

Language:GoStargazers:11Issues:0Issues:0

verifiable

Language:RustStargazers:9Issues:6Issues:0

bba

Language:RustLicense:Apache-2.0Stargazers:7Issues:4Issues:0

algebraic-torus

A library to facilitate comptutation with algebraic torus

Language:SageLicense:GPL-3.0Stargazers:3Issues:3Issues:12

getrandom_or_panic

A RngCore which panics unless getrandom exists

Language:RustStargazers:1Issues:2Issues:1