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