Discover @akinovak Open Source projects

Andrija Novakovic (@akinovak)

akinovak

Stars
64
Global Rank 286,771 (Top 10 %)
Followers 80
Following 28
Registered over 7 years ago
Most used languages

Rust
38.9 %

Solidity
22.2 %

TypeScript
16.7 %

Jupyter Notebook
5.6 %

Python
5.6 %

Shell
5.6 %

JavaScript
5.6 %

circom2-example

Minimal ts example for working with proofs with circom 2.0.0

zk-keeper

Chrome extension for secure seamphore operations

halo2-rln

Rate limit nullifiers on halo2 protocol

semaphore-lib

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

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

halo2-wasm

halo2 in browser

halo-sha256

halo2-semaphore

Semaphore implementation on top of halo2 protocol

semaphore-circuits

sem-contracts

semaphore-identity-lib

lib for semaphore identity

l1-table-verifier

Example of valid lookup argument with invalid application layer proof

fair-distribution-circuits

Fair distribution circuits

SAT_tournament

A SAT Based Scheduler for Tournament Schedules

fair-coin-toss

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

incremental-merkle

Incremental merkle tree implementation in rust and compiled to wasm

TDA_finance

Predicting stock market crashes

Jupyter Notebook

instance-verifier

Halo2 proof instance verifier