Andres's starred repositories
blockifier
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
ml-ane-transformers
Reference implementation of the Transformer architecture optimized for Apple Neural Engine (ANE)
solidity-antlr4
Solidity grammar for ANTLR4
spartan-ecdsa
The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
smart-contract-auditing-heuristics
Heuristics for smart contract auditors
zk-eth-rng
Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.
astaria-core
NFT Collateralized Lending Market leveraging our novel 3 Actor Model
BungeeCord
BungeeCord, the 6th in a generation of server portal suites. Efficiently proxies and maintains connections and transport between multiple Minecraft servers.
batch-distributor
Helper smart contract for batch sending both native and ERC-20 tokens.