Eliel 수학's Projects
This is implementation of account-abstraction on Starknet based on @barretodavid Medium posts
A domain-specific language for writing AIR constraints for STARKs
Une plateforme permettant de publier des invitations
Argent accounts for Starknet
Sample demonstration for building WebAssembly (WASM) modules alongside your webapps in AWS Amplify.
Cairo is the first Turing-complete language for creating provable programs for general computation.
Testing Cairo 1.0
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Repo for the Encode Cairo 5 week bootcamp
Impression des cartes d'étudiants à l'UCBC
Training Flutter developers to design Wallets
Web app simple pour la gestion des depenses
I would like to present here the way to calculate the determinant of a square matrix in Javascript
NF ERC 20 Token written in Cairo 1
Pure Rust implementation of Ethereum Virtual Machine
Learning Go programming language
Goma Web3 Meetup
Building a RSA keys based on HD wallet with BIP32
Herodotus Data Processor Toolkit. Enhance zk-offchain compute for verifiable onchain data using zkVMs
Simple tool to calculate how much I worth :)
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Decentralized land registration system
Learning CAIRO and ZKP - Starknet