prestoalvarez/anchor
⚓ Solana Sealevel Framework
engineering 🔴
Repositories
prestoalvarez/web3.py
A python interface for interacting with the Ethereum blockchain and ecosystem.
prestoalvarez/cairo-vm
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.
prestoalvarez/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
prestoalvarez/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
prestoalvarez/taiko-mono
Taiko Alethia based rollup protocol 🥁
prestoalvarez/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
prestoalvarez/agglayer
Rust implementation of the Agglayer.
prestoalvarez/node-reth
prestoalvarez/ibc-go
Inter-Blockchain Communication Protocol (IBC) implementation in Golang.
prestoalvarez/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
prestoalvarez/nexus-cli
Command line interface for supplying proofs to the Nexus network.
prestoalvarez/wasmd
Basic Cosmos SDK application with WebAssembly smart contracts
prestoalvarez/nethermind
A robust execution client for Ethereum node operators.
prestoalvarez/celestia-app
Celestia consensus node
prestoalvarez/penumbra
Penumbra is a privacy-preserving decentralized exchange for all of crypto
prestoalvarez/celestia-zkevm-hl-testnet
prestoalvarez/blobstream-contracts
Celestia -> EVM bridge
prestoalvarez/amd-sev-snp-attestation-sdk
The Automata AMD SEV-SNP Attestation SDK is a software development kit designed to help users generate the AMD SEV-SNP Attestation Report using Rust across different cloud service providers, and generate Risc0 and SP1 ZK Proofs which can be verified on-chain. Powered by Automata
prestoalvarez/automata-dcap-attestation
This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems
prestoalvarez/elliptic-curves
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
prestoalvarez/dcap-qvl
prestoalvarez/prb-math
Solidity library for advanced fixed-point math
prestoalvarez/kona
Monorepo for OP Stack Types, Components, and Services built in Rust.
prestoalvarez/linera-protocol
Main repository for the Linera protocol
prestoalvarez/prestodev
prestoalvarez/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
prestoalvarez/types-rs
🐺 Starknet Rust types 🦀
prestoalvarez/web3go
web3go's goal is to build an modern Golang SDK for Ethereum system
prestoalvarez/bitlayer-org.github.io
Developer document of Bitlayer