Thomas Vellekoop's repositories
serendipity
A proof of stake stochastic selection protocol built on top of Cardano.
plutus-plonk-example
A e2e example of Circom + a SnarkJS fork that works for plutus
plutus-accumulator
An MVP implementation of an accumulator in plutus over the BLS12-381 pairing curve
plutus-plonk-poc
A POC repo for testing plonk in plutus
CIP-1694-gov-tool
A MVP implementation of a CIP 1694 governance tool for managing an organisation in the CC.
plutus-pioneer-program-athos
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
plutus-plonk-snarkjs
An example of a plutus plonk verifier for snarkjs and Circom
snarkjs-cardano
A POC fork of snarkjs made for usage on Cardano
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
always-yes-drep
A gimmick plutus based DREP that can only vote yes.
bench-msm
a benchmark to see at which point msm becomes faster than the naive approach
cardano-playground
Cardano testnet clusters
credential-manager
Credential and Identity management script for Constitutional Committee memebrs backed by X.509 certificates
dummy_plonk
Little PoC implementation of the plonk library
halo2-test
A poc halo2 snark over BLS12-381
iohk-nix
nix scripts shared across projects
mod-exp-bench
a benchmark of a PlutusTx and Aiken implementation of the bls12-381 fields
ogmios
❇️ A WebSocket JSON/RPC bridge for Cardano
plutus
The Plutus language implementation and tools
plutus-halo2-poc
A POC repo for testing Halo2 in plutus
poseidon
A C based implementation of the poseidon hash function
snarkjs
zkSNARK implementation in JavaScript & WASM
stdlib
The Aiken Standard Library
ultimatevocalremovergui
GUI for a Vocal Remover that uses Deep Neural Networks.