FranFiuba

Buenos Aires - Argentina

Pinned Repositories

snarkVM
A Virtual Machine for Zero-Knowledge Executions
Language:Rust1.1k 51 2951.5k
7506R-2C2022-GRUPO02
Grupo Numero 2 de Organizacion de Datos - FIUBA -
Language:Jupyter Notebook0 1 00
lisp_impl
a toy lisp implementation in C
Language:C0 1 00
tp_taller_oxidados
Language:Rust00
kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Language:Cairo998 23 616306
consensus-workbench
Proof of concept Rust implementations for various distributed systems protocols
Language:Rust3 5 00
ethereum_war_game_tooling
We are slow while using the UI/UX of crypto wallets so we created our CLI version
Language:Elixir5 4 462
lambdaworks
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Language:Rust624 9 238139
yet-another-swap
YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.
Language:Cairo54 3 9025
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Language:Rust4.8k 36 21.3k660

FranFiuba's Repositories

FranFiuba/7506R-2C2022-GRUPO02
Grupo Numero 2 de Organizacion de Datos - FIUBA -
Language:Jupyter Notebook0 1 00
FranFiuba/lisp_impl
a toy lisp implementation in C
Language:C0 1 00
FranFiuba/tp_taller_oxidados
Language:Rust00