maradini77/enclave
Enclave is an open-source protocol for Encrypted Execution Environments (E3).
Repositories
maradini77/mantle-v2
maradini77/anchor
⚓ Solana Program Framework
maradini77/web3.py
A python interface for interacting with the Ethereum blockchain and ecosystem.
maradini77/relayer
Relayer bot for across v3
maradini77/tdx-attestation-sdk
The Automata TDX Attestation SDK is a software development kit designed to help users generate the Intel TDX Quote using Rust across different cloud service providers, and generate Risc0 and SP1 ZK Proofs which can be verified on-chain. Powered by Automata
maradini77/ethrex
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
maradini77/automata-on-chain-pccs
Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations
maradini77/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
maradini77/dcap-qvl
maradini77/elliptic-curves
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
maradini77/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
maradini77/celestia-app
Celestia consensus node
maradini77/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
maradini77/rust
Empowering everyone to build reliable and efficient software.
maradini77/execution-specs
Specification for the Execution Layer. Tracking network upgrades.
maradini77/risc0-ethereum
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
maradini77/automata-dcap-attestation
This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems
maradini77/rust-bitcoin
Rust Bitcoin library
maradini77/firedancer
Firedancer is Jump Crypto's Solana validator software.
maradini77/solidity
Solidity, the Smart Contract Programming Language
maradini77/dymension
Dymension Hub
maradini77/cosmwasm
WebAssembly Smart Contracts for the Cosmos SDK
maradini77/nexus-cli
Command line interface for supplying proofs to the Nexus network.
maradini77/solhint
Solhint is an open-source project to provide a linting utility for Solidity code.
maradini77/lodestar
🌟 Ethereum Consensus client for the Zig and TypeScript ecosystem
maradini77/triton-vm
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
maradini77/hyli
Hyli is a high-performance blockchain with built-in privacy.
maradini77/bob
BOB is building the Gateway to Bitcoin DeFi, unlocking real utility for the world’s most important asset.
maradini77/app
Human-centered DAO infrastructure