Pinned Repositories
2024-03-revert-lend
bellpepper
SNARK Circuit library
cairo-erc-3525
Semi-Fungible Token
cairo-erc-7496
NFT Dynamic Traits
circom-pairing
fc-polls
poseidon-rs
Poseidon hash function
privacy-pools-v1
snark
Interfaces for Relations and SNARKs for these relations
z2o-k7e.github.io
sahamdelfi's Repositories
sahamdelfi/privacy-pools-v1
sahamdelfi/zkevm-techdocs
Technical documentation of the zkEVM
sahamdelfi/languagetool
Style and Grammar Checker for 25+ Languages
sahamdelfi/2023-12-arcadia-judging
sahamdelfi/interbtc-clients
interBTC Clients | Vault, Oracle, Faucet
sahamdelfi/tendermintx
Implementation of zero-knowledge proof circuits for Tendermint.
sahamdelfi/TBA
Token Bound Accounts in Cairo
sahamdelfi/poly-commit
A Rust library for polynomial commitments
sahamdelfi/crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
sahamdelfi/diamond-1-hardhat
EIP-2535 Diamond reference implementation using Hardhat and Solidity 0.8.*
sahamdelfi/DFTFringe
DFTFringe Telescope Mirror interferometry analysis Program.
sahamdelfi/erigon
Ethereum implementation on the efficiency frontier
sahamdelfi/maybe
The OS for your personal finances
sahamdelfi/axiom-sdk-rs
sahamdelfi/circom-2-arithc
Circom interpreter to arithmetic circuit description
sahamdelfi/2023-07-amphora
sahamdelfi/halo2-gpu-specific
sahamdelfi/permify
Permify is an open-source authorization service inspired by Google Zanzibar.
sahamdelfi/moonmath-manual
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
sahamdelfi/scroll-contract-deploy-demo
This project demonstrates how to use hardhat or foundry to deploy a contract to Scroll's zkEVM rollup
sahamdelfi/2024-03-revert-lend
sahamdelfi/halo2-lib
Monorepo of halo2 crates
sahamdelfi/folding-schemes
sahamdelfi/cairo-erc-2981
NFT Royalty Standard
sahamdelfi/bellman
zk-SNARK library.
sahamdelfi/pairing
Pairing-friendly elliptic curve library.
sahamdelfi/nixpkgs
Nix Packages collection & NixOS
sahamdelfi/halo2-lasso
Benchmark for adding Lasso lookup argument to halo2 backend
sahamdelfi/lm-evaluation-harness
A framework for few-shot evaluation of language models.
sahamdelfi/2023-11-kelp