Tevm
@tevmtools
Followers
552
Following
2K
Media
41
Statuses
239
Ethereum tools -- Typescript, Zig, Wasm https://t.co/n3e21nkP72 https://t.co/uPC7jfL8C8 https://t.co/El32hNwHrg
Joined July 2024
Introducing Guillotine The ultrafast EVM for every language and platform And the future of Tevm
44
32
262
Hyli is now EVM-compatible! We now verify Reth block witnesses natively. Run Solidity contracts on Hyli with familiar tooling, and settle outcomes with cryptographic verification instead of trusted parties.
21
10
59
next step is to add @tevmtools to hyli
Hyli is now EVM-compatible! We now verify Reth block witnesses natively. Run Solidity contracts on Hyli with familiar tooling, and settle outcomes with cryptographic verification instead of trusted parties.
0
2
5
It's really pleasant to program Ethereum using types that are directly from Ethereum It's also nice to have zod-like runtime guarantees your types are enforced at runtimes
1
1
13
🤖
0
0
5
Zig vs Rust - Why I chose Zig to build Guillotine Just my general thoughts on why I am happy with my choice to use zig and will be using it a lot more moving forward
5
7
59
tevm has the answer to anything evm
Introducing z-ens-normalize A complete port of go-ens-normalize to Zig, providing @ensdomains normalization according to ENSIP-15 specification
1
2
4
This code was completely AI generated utilizing a golang reference implementation json specs to drive correctness and a carefully constructed base prompt and series of steps/prompts Check out the github in the final link if you want to see those prompts they are checked in in
Introducing z-ens-normalize A complete port of go-ens-normalize to Zig, providing @ensdomains normalization according to ENSIP-15 specification
2
1
8
Check out the repo, the prompts used to build this, and documentation at the github link https://t.co/mkOaTtivEf Shoutout @adraffy for the help building this
github.com
A C-compatible Zig implementation of ENS (Ethereum Name Service) name normalization. - evmts/z-ens-normalize
0
0
3
Package targets include zig, c FFI, and wasm so you can use this package pretty much anywhere Keep in mind there might already be a ens normalization library for your language out there already though
1
0
2
Introducing z-ens-normalize A complete port of go-ens-normalize to Zig, providing @ensdomains normalization according to ENSIP-15 specification
2
1
8
This is really cool! Zig has so much potential.
Introducing Guillotine Primitives The unopinionated ethereum standard library for Zig - Low level Ethereum utils such as ABI and Address utils - Low level crypto - Ethereum precompile implementation - MIT licensed Link: https://t.co/KPh2GvAw7P We will be making a new release
0
1
7
Guillotine Primitives includes unaudited native zig crypto implementations by @Vladfdp who absolutely crushed this work In addition to the native zig implementations we also wrap 3rd party libraries like the popular rust Arkworks implementation for use in zig The code is
Introducing Guillotine Primitives The unopinionated ethereum standard library for Zig - Low level Ethereum utils such as ABI and Address utils - Low level crypto - Ethereum precompile implementation - MIT licensed Link: https://t.co/KPh2GvAw7P We will be making a new release
2
1
15
Introducing Guillotine Primitives The unopinionated ethereum standard library for Zig - Low level Ethereum utils such as ABI and Address utils - Low level crypto - Ethereum precompile implementation - MIT licensed Link: https://t.co/KPh2GvAw7P We will be making a new release
1
5
22