joss 🌎🖥️
1.1K posts

joss 🌎🖥️
@joddoss
Ethereum apotheosis @Sigil_L2 MS in CS ‘26 @lehighu I’ll eat my boots first @bootsoup


We just listed @gnosischain! This is part of our adjusted focus that started with interop and includes more blockchains than those fitting strict Ethereum L2 criteria. Gnosis Chain became of interest because of its strong similarity to Ethereum, not only its EVM execution environment but also its beacon chain and consensus mechanism. It also has a canonical bridge that secures over 300M USD-equivalent value. The recent announcement of the Ethereum Economic Zone (EEZ, @etheconomiczone) teases a tighter integration of chains that join it, possibly allowing synchronous interop between Ethereum and a future Gnosis Chain.



EPF7 applications are open. Deadline is May 13. If you want to work on core Ethereum protocol — client development, testing, specs, research — this is the program for you.







We've just designed and implemented Generalized Predicate Proofs for Verifiable Credentials in OpenAC. This lets a credential holder prove complex logical statements over multiple attributes without revealing underlying values. The implementation uses Circom, but the approach can be applied with any zkDSL. Policies can express arbitrary combinations of comparisons and logical expressions, including: • Comparisons to constants or between attributes • Range checks • Set membership and non-membership • Logical compositions E.g. age > 18 AND annual income is between $30,000 and $100,000. The verifier only learns the boolean result, confirming whether the policy is satisfied, nothing more. This design is not tied to OpenAC and can be implemented in any Verifiable Credential system. Check threads to see the links 🔗







