Giters
Vladislav Semkin (vasemkin)

vasemkin

Geek Repo

22

followers

28

following

62

stars

Company:Exness

Location:Limassol

Home Page:superdao.co

Twitter:@vasemkin

Github PK Tool:Github PK Tool

Vladislav Semkin's starred repositories

awesome-ethereum-security

A curated list of awesome Ethereum security references

License:CC-BY-4.0Stargazers:1300Issues:0Issues:0

Rareskills-ZK-book

My work for Rareskills ZK Book.

Language:PythonStargazers:22Issues:0Issues:0

zkBank

zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!

Language:GoStargazers:77Issues:0Issues:0

sp1

A performant, 100% open-source, contributor-friendly zkVM.

Language:RustLicense:Apache-2.0Stargazers:842Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:95581Issues:0Issues:0

leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Language:RustLicense:GPL-3.0Stargazers:4792Issues:0Issues:0

storage-layout-extractor

A tool that performs extraction of storage layouts based on EVM bytecode.

Language:RustLicense:AGPL-3.0Stargazers:120Issues:0Issues:0

evm-puzzles

A collection of EVM puzzles

Language:JavaScriptStargazers:798Issues:0Issues:0

zupass

Zuzalu Passport

Language:TypeScriptLicense:GPL-3.0Stargazers:264Issues:0Issues:0

dao-blockchain-os

Language:TypeScriptStargazers:7Issues:0Issues:0

hardhat-bytecode-exporter

🧰 Export Ethereum contract bytecode on compilation ⚙️

Language:TypeScriptLicense:MITStargazers:4Issues:0Issues:0

safe-create2

Cross-chain create2 factory for Safe contract deployments

Language:SolidityStargazers:23Issues:0Issues:0

besu

An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu

Language:JavaLicense:Apache-2.0Stargazers:1442Issues:0Issues:0

evm-opcodes

A quick reference for EVM opcodes

License:MITStargazers:754Issues:0Issues:0

solidity

Solidity, the Smart Contract Programming Language

Language:C++License:GPL-3.0Stargazers:22817Issues:0Issues:0

solmate

Modern, opinionated, and gas optimized building blocks for smart contract development.

Language:SolidityLicense:AGPL-3.0Stargazers:3793Issues:0Issues:0

evm-diff

Diff EVM-compatible chains in a friendly format

Language:TypeScriptLicense:MITStargazers:272Issues:0Issues:0

annotated-spec

Vitalik's annotated eth2 spec. Not intended to be "the" annotated spec; other documents like Ben Edgington's https://benjaminion.xyz/eth2-annotated-spec/ also exist. This one is intended to focus more on design rationale.

Stargazers:318Issues:0Issues:0

EIP6963

A web application showcasing the implementation and usage of EIP-6963 for Multi Injected Provider Discovery

Language:TypeScriptStargazers:46Issues:0Issues:0

research

Language:PythonLicense:MITStargazers:1771Issues:0Issues:0

go-ethereum

Go implementation of the Ethereum protocol

Language:GoLicense:LGPL-3.0Stargazers:47116Issues:0Issues:0

op-geth

Language:GoLicense:LGPL-3.0Stargazers:268Issues:0Issues:0

execution-apis

Collection of APIs provided by Ethereum execution layer clients

Language:IoLicense:CC0-1.0Stargazers:912Issues:0Issues:0

execution-specs

Specification for the Execution Layer. Tracking network upgrades.

Language:PythonLicense:CC0-1.0Stargazers:818Issues:0Issues:0

gpt-engineer

Specify what you want it to build, the AI asks for clarification, and then builds it. Not actively maintained.

Language:PythonLicense:MITStargazers:51542Issues:0Issues:0

v4-core

🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4

Language:SolidityLicense:NOASSERTIONStargazers:1882Issues:0Issues:0

noir

Noir is a domain specific language for zero knowledge proofs

Language:RustLicense:Apache-2.0Stargazers:838Issues:0Issues:0

uniswapv3-book

Uniswap V3 Development Book

Language:JavaScriptStargazers:588Issues:0Issues:0

hummingbot

Open source software that helps you create and deploy high-frequency crypto trading bots

Language:PythonLicense:Apache-2.0Stargazers:7767Issues:0Issues:0

snarkOS

A Decentralized Operating System for ZK Applications

Language:RustLicense:Apache-2.0Stargazers:4244Issues:0Issues:0