- Tenerife, Canary Islands
- https://www.linkedin.com/in/eladio-robles-casas
- in/eladio-robles-casas
- @eladiorobcas
Lists (5)
Sort Name ascending (A-Z)
Stars
Building a Secure and Interoperable Future for AI-Driven Payments.
A smart contract which allows users to stake and un-stake (after a set period of time) a specified ERC20 token.
A cryptocurrency trading bot built with Machine Learning and Rust.
A bare-bones Rust Zero Knowledge Proof framework from scratch
Ethereum implementation on the efficiency frontier
Answers to the "Solidity Interview Question" post containing more than 140 interview questions prepared by Rareskills for Ethereum Developers.
A tool to work with zk-SNARK circuits generated by circom compiler. Based on circom import code by @kobigurk
A Rust Arithmetic Circuit compiler and Smart Contract generator
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
proving knowledge of a hash preimage of a leaf in an intermediate merkle tree in Noir
Distributed SQL database in Rust, written as an educational project
Basic Noir private proof of membership
Resources for learning Noir from ZKCamp's Aztec Course