jtriley.eth

@jtriley

1 Following

925 Followers

jtriley.eth pfp

what about it doesn't compile to wasm? could probs take the core struct & just impl the traits yourself

1 reply

0 recast

0 reaction

jtriley.eth pfp

i'm running for op's security council, mostly incident response and signing off on protocol changes will use hardware wallet for signing key w 3/6 shamir backup from a python script on an airgapped raspberry pi. might blow torch the sd card or smth idk https://gov.optimism.io/t/security-council-member-nomination-riley-jtriley-eth/8705

4 replies

0 recast

28 reactions

jtriley.eth pfp

venezuela is the bear case for zk voting bc you can have all the votes in clear text and the loser can just say "i won" and people just.. believe them. crazy anyway here's anonymized votes for the venezuelan election on arweave (static html, no js): https://akrd.net/zV0t6C8am6ISHVO93RyK9Xwe1sgfqk2-Idm40hhBFvo

1 reply

2 recasts

10 reactions

jtriley.eth pfp

gotta be careful of all the kayaks & paddleboards, but still a great spot to fly water's always sketchy though, defs lost a quad to a river before

0 reply

0 recast

1 reaction

jtriley.eth pfp

cinematic flying on the lake :3

1 reply

0 recast

24 reactions

jtriley.eth pfp

maybe "competing" is too 1-dimensional aztec vm will be best for privacy since afaik there's basically no competitor here essential vm i think has potential bc the primary use case for blockchains atm is idiosyncratic trading and its externalities and intents are a natural iteration for on-chain trading where changes are globally propagated more efficiently and lp's receive less toxic order flow, so a swap intent vm alone would be a clean abstraction, but generalizing to all state transition opens unique angles we haven't seen before; idk what this looks like in full yet, just like we had no idea gas tokens or data contracts would emerge from evm but i don't think any of the parallelized or llvm compatible vm's meaningfully "compete" in any way bc they all suffer the same drawbacks. linear scaling is not sufficient for global scale & while 64 bit words run faster than 256, these are cryptography machines at the end of the day and most fields we're using still rely on >250 bits

1 reply

0 recast

0 reaction

jtriley.eth pfp

no, imo the reason moreso that there are no other serious blockchain vm arches competing rn solanavm is a little more restrictive but probs the most mature, move vm is over restrictive and fragmented, algorand vm is clunky and is algorand, fuelvm is cool but founders had a meltdown and now it's not clear whether they're ever going to mainnet, stylus isn't live & the value prop being rust-to-wasm falls flat when it takes a ton of configuring and tinkering to get rust to generate a reasonable wasm output that works for resource constrained env's like blockchains, aztec vm isn't live and actively changing, essential just released their code this week and is also not live and is actively changing evm has momentum, but everyone i know that has used evm for years doesn't like using it anymore. i try to avoid it altogether these days. eof is a step in the right direction, but the language ecosystem is also p lackluster

1 reply

1 recast

1 reaction

jtriley.eth pfp

i'm bearish solidity & evm i think devs that want to stay there will be just fine, in the same way java devs are still just fine. but ppl wanting to leverage smth more flexible that's built with the knowledge we have about blockchain execution environments that we didn't then will absolutely try out new vm's and dsl's imo

1 reply

0 recast

2 reactions

jtriley.eth pfp

essentials team built out two pieces recently, declarative execution environment (essentialvm) & constraint driven language (pint) pint contracts are composed of a persistent storage block & a series of predicates which constrain how state transitions happen. state access is made explicit in predicates, identifier (counter) may constrain existing state, identifier w single-quote suffix (counter') may constrain next state. vm itself is a 64 bit stack machine w two execution stages, one for loading storage variables into a tx buffer, the other for constraining values in the tx buffer. isa is minimal, w a handful of logical, arithmetic, elliptic curve, sha, storage, and control flow ops note that state is not explicitly assigned to a single value, state is arbitrarily provided by solvers, predicates only constrain the bounds of what solvers submit obligatory counter attached:

2 replies

3 recasts

10 reactions

jtriley.eth pfp

all the same incumbents to me; kinda weird how the universal understanding that politicians are lying slime balls just falls away as soon as they say a good word about <thing we care about>

1 reply

0 recast

2 reactions

jtriley.eth pfp

HOLD UP WARP HAS VIDEO NOW??

17 replies

3 recasts

258 reactions

jtriley.eth pfp

ahh, good idea. original notes came from a jupyter notebook, so it comes off a bit odd for substack

0 reply

0 recast

1 reaction

jtriley.eth pfp

order theory the notion of ordering elements of a set is simple in practice, but its formalization is key in higher fields of mathematics it also equips programming languages with the binary relations we use in our conditionals and loops https://jtriley.substack.com/p/order-theory-speedrun

0 reply

0 recast

2 reactions

jtriley.eth pfp

next up, group theory group theory formalizes basic algebraic structures over sets. it's very non-concrete by design, it creates a foundation for black boxing each component of zk, then incrementally learning each https://jtriley.substack.com/p/group-theory-speedrun

1 reply

0 recast

7 reactions

jtriley.eth pfp

moving the abstract nonsense to warp the obj of these started as general study of abstract algebra, but has evolved into foundations of zk first up is set theory https://substack.com/home/post/p-145043277?r=1qyfrf&utm_campaign=post&utm_medium=web

3 replies

5 recasts

51 reactions

jtriley.eth pfp

crypto devs are due for a cultural revolution venture slopfest grows older by the day, memecoins offer nihilistic alternative, but neither are satisfying for those of us sold on agent codification where rules are smart contract source files and enforcement is beautiful composition of cryptography and social consensus over code execution the crypto we were born into no longer exists. but it's all too easy to forget where the industry comes from, where the technology comes from. cryptographers and game theoreticists lay foundations, but implementations don't exist without implementors what we do doesn't have to be big, it doesn't have to be the next ethereum, we just have to open the editor

3 replies

6 recasts

50 reactions

jtriley.eth pfp

0 reply

0 recast

1 reaction

jtriley.eth pfp

incredibly refreshing to see notable voices point out the speculation and speculation accessories meta. venture capital was a premature abstraction, rocket fuel showed up looking to take off and the rocket isn't assembled decline of hilarious defi summer yields and subsequent nft frenzy leaves an increasing pool of capital looking for increasingly scarce yield. as capital moves to other industries, it will be generally considered a "death of crypto" but is exactly the opposite. cultural maturation happens when there is no bag for which dishonesty can benefit the revolution will be underfunded

7 replies

1 recast

88 reactions

jtriley.eth pfp

wen unreasonably long form warpcast posts ;_; https://x.com/jtriley_eth/status/1813571754230456601

3 replies

9 recasts

385 reactions

jtriley.eth pfp

are there papers with formal specifications of dao's?

3 replies

0 recast

2 reactions