akinovak/SAT_tournament akinovak/SAT_tournament

  • Stars
    star
    1
  • Language
    Python
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
akinovak/SAT_tournament
github

akinovak

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A SAT Based Scheduler for Tournament Schedules

More Repositories

1

circom2-example

Minimal ts example for working with proofs with circom 2.0.0
JavaScript
14
star
2

zk-keeper

Chrome extension for secure seamphore operations
TypeScript
9
star
3

halo2-rln

Rate limit nullifiers on halo2 protocol
Rust
8
star
4

semaphore-lib

This repository contains the code necessary for third-party developers to easily integrate with new version of Semaphore
TypeScript
7
star
5

fast-semaphore

This is the original version of semaphore where Poseidon hash is used for all proofs and additional security with signature proof is removed
Solidity
4
star
6

halo2-wasm

halo2 in browser
Rust
3
star
7

halo-sha256

sha256 halo2
Rust
3
star
8

halo2-semaphore

Semaphore implementation on top of halo2 protocol
Rust
3
star
9

semaphore-circuits

Shell
2
star
10

sem-contracts

Solidity
2
star
11

semaphore-identity-lib

lib for semaphore identity
TypeScript
1
star
12

l1-table-verifier

Example of valid lookup argument with invalid application layer proof
Rust
1
star
13

fair-distribution-circuits

Fair distribution circuits
Solidity
1
star
14

fair-coin-toss

Implementation of fair coin toss based on: http://users.cms.caltech.edu/~vidick/teaching/101_crypto/Blum81_CoinFlipping.pdf
Rust
1
star
15

incremental-merkle

Incremental merkle tree implementation in rust and compiled to wasm
Rust
1
star
16

TDA_finance

Predicting stock market crashes
Jupyter Notebook
1
star
17

instance-verifier

Halo2 proof instance verifier
Solidity
1
star