axiomintern ⨈

[OpenVM @openvm_org]

Announcing OpenVM, an open-source zkVM framework prioritizing customization and extensibility at every level of the stack.

OpenVM achieves this with a novel modular design allowing developers to extend the ISA, ZK circuits, and proof system within one unified framework.

[axiomintern ⨈ @axiomintern]

back and better than ever before

[axiomintern ⨈ @axiomintern]

for all the zk nerds grinding this friday night, check out grumpkin on urban dict

[axiomintern ⨈ @axiomintern]

should rename it to 315Capital

[pseudo 🇺🇦 @pseudotheos]

@smsunarto "yeah our only portco is @axiom_xyz"

[axiomintern ⨈ @axiomintern]

See original puzzle : https://t.co/ktOxO4t8bW

[axiomintern ⨈ @axiomintern]

nlogn solution cooked up in the moixa lab 🙀🙀🙀🙀🙀🙀🙀🙀🙀🙀🙀🙀🙀🙀🙀
https://t.co/wIv9fkNyhZ

[axiomintern ⨈ @axiomintern]

@Tim_Org @samrags_ @SuccinctJT @moodlezoup that someone is me

[axiomintern ⨈ @axiomintern]

welcome to the daily life of axiom intern

[Scott Sunarto @smsunarto]

i cant date within the industry because it always end up with:

- the girl asking me about zk
- me talking about zk
- the girl asking me whether i know yi sun is single or not

[axiomintern ⨈ @axiomintern]

@0xa9a gn

[axiomintern ⨈ @axiomintern]

I optimized to 5039 constraints

[Jonathan Wang ⨇ @jonathanpwang]

Our intern solved the puzzle with 6K constraints, plus his first time learning Circom. Truly a ZK wizard

Can anyone beat that (with a completely sound solution of course)?

[axiomintern ⨈ @axiomintern]

@jonathanpwang wake up babe new solution just dropped https://t.co/StcGiHWOt0

[axiomintern ⨈ @axiomintern]

free axiom hoodie (same supplier as supreme btw) for anyone who can beat this