Explore tweets tagged as #proofofmath
@cmpeq
Carter Feldman
3 years
In our next post in our Medium series The Hackers Guide to Layer 2: Building a #zkVM from Scratch, we will build a trustless proof of math cross-chain bridge to transfer assets/data trustlessly between L1 and L2. No Multisigs, No PoS, just trustless, unhackable, #ProofOfMath!
0
3
41
@PsyProtocol
Psy Protocol
2 years
Are you ready to enter the #Bitcoin wormhole? #TrustlessBridge #ProofOfMath
4
1
16
@QEDProtocol
Psy (Formerly QED)
3 years
The only kind of proof we believe in #ProofOfMath
0
3
4
@rabbinstein
RA₿BINSTEIN 🌮 ⚡️ 🔑
4 years
0
0
1
@MarkmhBTC
Mark MH
2 years
Great to meet @QEDProtocol team at #BitcoinDay event in Hongkong! Thanks for your Tshirt! I wore it at one crypto after party and it brought attention of those who know you or those who got your vision 👍 #ProofofMath
0
0
2
@trigonautsia
Anastasia
4 years
0
0
0
@PsyProtocol
Psy Protocol
2 years
#ProofOfMath coming to BTC
@cmpeq
Carter Feldman
2 years
@Bitcoin, it didn't have to be like this, but you have left me no choice... done: ✅ bn254 add/mul #ZKonBitcoin from QED❤️ todo: - pairings - transaction splitting - work around for lack of OP_CAT (worst case scenario, run 51 txs, inscribe 5 bits per tx from an if/else LUT)
0
1
15
@COINjecture
COINjecture Network
3 months
Join us pre-launch! Test our testnet, mine some subsets, and tell us: What's the killer use case for #ProofOfMath? #Web3 #Crypto https://t.co/tAVHcjtpD1
0
0
1
@trigonautsia
Anastasia
4 years
This is actually the most challenging lesson in the entire calc class. It took me days of practice and going back to geometry to understand what is going on instead of just memorizing the formula. What can I say, I am blone🤷🏼‍♀️
1
0
4
@trigonautsia
Anastasia
4 years
I started reading quite a few math books. Most were kinda boring and required me to have a pen a paper with me to practice things I learned. But then I discovered this awesome book. I highly suggest everyone to read it, it goes into the whole history of math @JoatStewart
0
0
4
@QEDProtocol
Psy (Formerly QED)
3 years
Compiling JavaScript to LaTeX with Dapen IDE Our Dapen Web IDE allows any web developer to write zk-Smart Contracts in JavaScript. Under the hood, our DAPEN-IL backend can target a variety of proving systems and can even compile ES6 #JavaScript to #LaTeX! #ProofOfMath #ZKP
1
1
3
@PsyProtocol
Psy Protocol
2 years
A single succinct proof of ≥ n transactions in O(log(n)) time 🎉 Watch out for our deep dive blog post coming this week, and join us on our road to 1,000,000 TPS, proved end to end and secured by #ProofOfMath🔒
@cmpeq
Carter Feldman
2 years
Visualizing 2 blocks of a token contract on QED Notice that the proofs generated by the users are proved locally, and block time is O(log(n)) where n is the number of users who submit transactions in the block. QED => Global State + Horizontal Scalability 🎉
0
1
10
@0xJ_C
CJ
2 years
The open standards that empower Layer 2 solutions with Bitcoin-level security through the use of Zero-Knowledge Proofs. #ProofOfMath
@PsyProtocol
Psy Protocol
2 years
QED is proud to announce the launch of the L20 Consortium @L2Ordinals in partnership with @starkwareltd, @elibensasson, @zklink_official, @minafoundation, and @o1_labs. https://t.co/P7BwQxQpOQ
0
0
2
@DHarmony27088
DaoHarmony
4 months
🔒 Why trust validators when you can trust math? @PsyProtocol's end-to-end ZKP model ensures every state transition is cryptographically verified—from user to final block. Security redefined. #ProofOfMath #ZKPs
0
0
0
@GueRakun
guerakun
4 years
Terjemahan versi Bahasa Indonesia disini! https://t.co/6LBW4ybGT8 #proofofmath #mathblocks
@mathblocks_io
MathBlocks
4 years
Proof of Math Challenge - Round 2 this Saturday, Feb 19 at 14:00 UTC. This PoM is inspired from the recent shape rotator vs wordcel meme. Prizes are: 0.15, 0.1, 0.06, 0.05, 0.04 ETH for 1st-5th places respectively. LFG! https://t.co/Q3lgipQy7u
0
1
1
@astr0meb
astr0
4 years
@desperateSia @ProofofMath youre not kidding about the G wtf¿
0
0
1
@cmpeq
Carter Feldman
3 years
@QEDProtocol
Psy (Formerly QED)
3 years
Compiling JavaScript to LaTeX with Dapen IDE Our Dapen Web IDE allows any web developer to write zk-Smart Contracts in JavaScript. Under the hood, our DAPEN-IL backend can target a variety of proving systems and can even compile ES6 #JavaScript to #LaTeX! #ProofOfMath #ZKP
0
0
0
@cmpeq
Carter Feldman
3 years
@kobigurk He forgot about #ProofOfMath, but have to agree that Arbitrum's claims of "security" are kind of a joke when you could double spend with a reasonable botnet, an employee with the sequencer's SSH key, and a few calls to forceInclude...
0
0
0
@simoinvest
SimØɃ
7 years
0
0
0
@robertwarren
Rob Warren
4 years
@desperateSia @ProofofMath Did you have to write all of that backwards?
0
0
2