Pinned Repositories
.github
arbiter
A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.
avl-tree
babychain
babycrypto
cryptography for babies
battleship-game
choir
cute
felt cute; might delete later
examples
Examples of using Polygon Miden
gubloon's Repositories
gubloon/.github
gubloon/arbiter
A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.
gubloon/avl-tree
gubloon/babychain
gubloon/babycrypto
cryptography for babies
gubloon/battleship-game
gubloon/choir
gubloon/cute
felt cute; might delete later
gubloon/examples
Examples of using Polygon Miden
gubloon/lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
gubloon/miden-base
Core components of the Polygon Miden rollup
gubloon/gubloon-world
gubloon/miden-client
gubloon/miden-playground
gubloon/miden-sdk-1
gubloon/miden-sdk-2
gubloon/miden-tictactoe
gubloon/miden-workshop
gubloon/polygon-docs
Polygon Technical Docs
gubloon/protopipe
prototyping for protocols
gubloon/stateful-sandbox
gubloon/teddyvm
implementation of a toy zero knowledge virtual machine
gubloon/zk-p2p
A trustless P2P fiat onramp powered by ZK proofs.
gubloon/zkGames
zkGames is a platform that allows users to play zk (zero knowledge) games and mint an NFT as proof that they have won.
gubloon/zorba
zk run time
gubloon/zungle