manojkgorle
Follow
-
-
CertoraProver Public
Forked from Certora/CertoraProverThe Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Kotlin GNU General Public License v3.0 UpdatedFeb 23, 2025 -
brainfuckvm Public
Proving computational integrity of brainfuck ISA using STARKs
-
awesome Public
Forked from sindresorhus/awesome😎 Awesome lists about all kinds of interesting topics
Creative Commons Zero v1.0 Universal UpdatedDec 12, 2024 -
-
hypersdk Public
Forked from ava-labs/hypersdkArchive of projects built on HyperSDK. WASM Execution, Snark Accounts and Data availability.
-
-
-
-
escobar Public
Avalanche Subnet with SVM execution environment.
-
agave Public
Forked from anza-xyz/agaveWeb-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
Rust Apache License 2.0 UpdatedAug 31, 2024 -
-
rbuilder Public
Forked from flashbots/rbuilderrbuilder is a blazingly fast, state of the art Ethereum MEV-Boost block builder written in Rust
Rust Apache License 2.0 UpdatedJul 3, 2024 -
-
-
halo2-lib-axiom Public
Forked from axiom-crypto/halo2-libMonorepo of halo2 crates
Rust MIT License UpdatedMay 17, 2024 -
deliphinus-zkWasm-prover Public
Forked from DelphinusLab/zkWasm-proverRust GNU General Public License v3.0 UpdatedApr 18, 2024 -
-
-
lambda_ethereum_consensus Public
Forked from lambdaclass/lambda_ethereum_consensusElixir implementation of an Ethereum consensus client, which offers high reliance & fault tolerance
Elixir Apache License 2.0 UpdatedFeb 15, 2024 -
precompile-evm-extended Public
enDe is a KYC'd blockchain with several precompiles focusing on improving performance.
-
solana-rbpf Public
Forked from solana-labs/rbpfRust virtual machine and JIT compiler for eBPF programs
Rust Apache License 2.0 UpdatedJan 5, 2024 -
-
onchainchess Public
Solidity Library for 8-by-8 chess game.
-
account-abstraction-sdk Public
A self written SDK for interacting with ERC4337 contracts
TypeScript UpdatedOct 28, 2023 -
account-abstraction-learning Public
Notes taken for account abstraction
Solidity GNU General Public License v3.0 UpdatedOct 28, 2023 -
miden-playground-examples Public
Forked from 0xPolygonMiden/examplesExamples of using Polygon Miden
TypeScript MIT License UpdatedOct 23, 2023 -
-
Quillhash-EVM-Mastery Public
Forked from Quillhash/EVM-MasteryThis repository contains list of resources to aid your journey of mastering Ethereum Virtual Machine. If you find any resource missing, you can create a pull request and be a contributor of the pro…
UpdatedOct 8, 2023 -
nullity00-maci-noir Public
Forked from nullity00/maci-noirWriting MACI circuits in Noir
Roff UpdatedOct 6, 2023