Carol Xie's repositories
tlsn
Rust implementation of the TLSNotary protocol with compliance use case
eth-toronto-bot
Telegram bot to connect acquaintances and make attestations for ETH Toronto
Plonky3
A collection of libraries related to polynomial IOPs (PIOPs)
winterfell
A STARK prover and verifier for arbitrary computations
rooch
Move Modular DApp Container
apeverse
Customized OP rollup with apeverse utils including basic token, swap, and gaming functions
talent-pay
Reputation based talent hiring 1-stop shop
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
Certora-Tutorials
Practical tutorials of Certora Prover
GoatVoter
DAO Governance tools. Project in ETH SF
community
A collection of documents and resources relating to initiatives from the Community Development group at MakerDAO.
autocompound
Algorand Greenhouse Hack project to autocompound lending interest on Algorand Defi platform Algofi.
MinAuction
Anonymous auction with certified bidder payability with SnarkyJS by Mina Protocol
circom-start
Tutorial and exercises for Circom circuit design.
aptos-core
Local testnet of Aptos Blockchain. For testing and development purpose.
dizk
Java library for distributed zero knowledge proof systems
huhu-dapp
Dencentralized App for minting Huhu NFTs.
ERC721A
https://ERC721A.org
Fanli-adMatching
A test program to pair the most relevant ad to users based on user features