jat9292's repositories
Private-token
Tokens with private balances using zkSNARKs and Homomorphic Encryption
fuzzing-like-a-smarter-degen
Improved Barebones Solidity smart contract fuzzer
noir-elgamal
A Noir library for Exponential ElGamal Encryption on the Baby Jubjub curve
pytorch_geometric
Geometric Deep Learning Extension Library for PyTorch
sc-bonds-dvp-cadmos
sc-bonds fork for the CAST 2023 DVP Challenge
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
babygiant-alt-bn128
A Rust crate implementing a multi-threaded version of the baby-step giant-step algorithm on the Baby Jubjub curve (curve inside alt-bn128) to decrypt u40 integers.
babyjubjub-utils
Node package implementing JS utils functions for interacting with the Baby Jubjub curve and the noir-elgamal Noir package.
bbjs-bug-minimal-example
A cleanly simplified bug when verifying proofs on-chain produced by bb.js
damn-vulnerable-defi
My solutions to the damn vulnerable defi CTF with explanations on my blog
design-bench
Benchmarks for Model-Based Optimization
DS3_practical_optim_for_ml
Notebooks from DS3 course on practical optimization
ethtx
Python package with core transaction decoding functions.
NFT_marketplace
An NFT marketplace built using nextJS and hardhat
cassiopeia
Rust implementation of a Publicly Verifiable Secret Sharing scheme
mixnet-efficient-fhe
Revisited mixnet implementation using fhEVM
pet-park-assignment
Take home assignment for evaluation
salad
A toolbox for domain adaptation and semi-supervised learning. Contributions welcome.
slither
Static Analyzer for Solidity
smart-contract-auditing-heuristics
Heuristics for smart contract auditors
solidity-riddles
A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features.