Shailesh Nair's repositories
aptos-core
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
auto-metamask
Web3 automation testing tool.
cuda-barretenberg
Aztec's Barretenberg Cryptographic Backend ported to the GPU using Cuda
cw-nfts
Examples and helpers to build NFT contracts on CosmWasm
doctr
docTR (Document Text Recognition) - a seamless, high-performing & accessible library for OCR-related tasks powered by Deep Learning.
eigen-zkvm
A zkVM basing on layered proof system
email-verifier
:white_check_mark: A Go library for email verification without sending any emails.
ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
haskell_contracts
Contracts for options and futures
hollowdb
A privacy-preserving key-value database on Arweave.
HVM
A massively parallel, optimal functional runtime in Rust
lambdaworks
The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too
move_nft_test
Move based NFT Project
mpc_wallets
MPC Wallet Creation
polygon-id
A demo application using Polygon ID to submit ZK proofs of the user's age.
pythnet
Pythnet
starknet_stack
Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
valida
A STARK-based VM focused on code reuse, performance, and modularity
z3
The Z3 Theorem Prover
zk-light-client-implementation
Zero Knowledge Light Client Implementation by Zpoken team.