koalateectrl Goto Github PK

axiom-docs

axiom-zk-nfts

This repository is a project showcasing the use of Axiom as a ZK coprocessor in order to update the color of an NFT based on a ZKP of historical balances of other tokens owned by the same address.

deep-learning-models

coding up deep learning models on stored datasets for understanding and ease for reuse in other research

differential-privacy

evm-rust

plonky2x-example

An example of how to build an end-to-end dApp with plonky2x

probabilistic-programming-and-bayesian-methods-for-hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

speedex-go

Implementing SPEEDEX price computation engine in Golang as a standalone binary that exchanges can call.

speedex-parallelize

Implementing SPEEDEX price computation engine with distributed signature checking.

speedex-standalone

Implementing SPEEDEX price computation engine in Golang as a standalone binary that exchanges can call

stellar-core

stellar-core is the reference implementation for the peer to peer agent that manages the Stellar network

tumor-classification

zk-example

Example for how to use Circom + Solidity for on-chain ZK verification

zk-vote-aggregator

A simple example of taking vote aggregation off-chain with on-chain verification via SNARK