HackMD retweeted
A cute think I stumbled upon while talking to @ronrothblum about sumcheck optimality.
In fact, the IPA protocol based on bulletproofs, marginally beats sumcheck as a protocol (no groups or DL involved) for reducing an inner product claim to MLE evals of a,b.
Specifically, they have the same number of prover mults, but IPA has less prover adds. It also has less adds than the "sumcheck at infinity" version of @QuangVDao @liameagen @SuccinctJT et. al.
Interestingly, the IPA itself is not precisely an instance of the sumcheck protocol, because at the end of the protocol, we eval a,b on *different* points. (You might be able to view it as a SC protocol on rational functions)
Allowing reduction to MLE evals of different points of the individual functions participating in the summed expression might be an interesting extension of the protocol design space compared to standard SC.
See hackmd for details:
hackmd.io/fHdb8J7LTT2EGqpa2H…
HackMD retweeted
Here's an article I wrote on @hackmdio over a year ago. If you want to understand Git and GitHub this is for you!!! hackmd.io/@sedicryptic/r1Y6i…
HackMD retweeted
Knowing where we stand on quantum has been core work at GOAT Research for the past two quarters: hackmd.io/@goatresearch
On HackMD now:
• Validator key migration to a post-quantum signature scheme, built and measured
• An anatomy of SHRINCS, the draft signature scheme proposed for Bitcoin
• A survey of how Ethereum is approaching its own migration
Plus the full post-quantum map: goat.network/news/a-post-qua…
ZKM's new paper, published on the IACR Cryptology ePrint Archive, is a testament to the world-class work @sd_eigen and our R&D team have done on Ziren.
Importantly, we know exactly where we stand on quantum resistance and exactly what the options are. Our highest security priority is a post-quantum secure BitVM3 bridge between @GOATNetwork and Bitcoin.
HackMD retweeted
completely replaced my google docs workflow
i can write documents in .md with my agent's assistance and share it with my clients/team/partners for comments/suggestions and feed it back to my agent for a productive loop
i've also community-published one public report to test it
HackMD retweeted
This is the link to my latest article I wrote on @hackmdio that explains proof of work and proof of stake consensus mechanism and why ethereum switched hackmd.io/@sedicryptic/rJRu0…
HackMD retweeted
Ever opened a repo and the DESIGN.md was a mystery?
3 free browser‑based tools for DESIGN.md:
- StackEdit – live markdown preview in the browser.
- Dillinger – simple UI, export to .md.
- HackMD – collaborative editing, great for design docs.
I haven't found one that auto‑generates diagrams yet. #webdev #design #opensource #devtools #programming
HackMD retweeted
I tested @typesafeai as a lightweight gate for assistant memory. The biggest lesson: decision quality matters more than model size. I reduced 24 noisy memory entries to 9 useful facts.
Models advise. Humans approve irreversible actions.
here @hackmdio
hackmd.io/@Ali-G/Sk2_tZgcMg
HackMD retweeted
A minimal repo:
github.com/EastSun5566/astro…
HackMD retweeted
the Actor Model sounded confusing when I first heard about it.
after learning how it works, I decided to write a simple article explaining it with rust examples. here’s what I learned 👇🏾
hackmd.io/@0xsamuel/HkDYE58F…
HackMD retweeted
Formal determinism checks, independent audits, adversarial fuzzing, and machine-checked proofs in Lean 4 are how Ziren's security status is earned.
GOAT rollup withdrawals are proven valid by Ziren and held open to challenge on Bitcoin through BitVM3, so this is a fundamental part of stack security.
And the security horizon stretches far beyond today's adversaries. A network built to secure the next economy with Bitcoin has to outlive the quantum computer: validator consensus keys moving from secp256k1 to ML-DSA-65.
The wider research is available at GOAT Research HackMD: hackmd.io/@goatresearch
Machine-checked proofs are becoming the standard for serious proof systems.
Different systems need different properties pinned down. For a privacy protocol, zero knowledge is the product, so that is the property to prove. For a zkVM proving a Bitcoin bridge, the property that matters most is soundness: a proof that should not exist must be impossible to construct.
Formal verification has been part of Ziren for more than a year - @VeridiseInc formally checked constraint determinism with Picus alongside a full independent audit, before @ConsensysAudits stress-tested the system.
Ziren 2.0 extends this with machine-checked proofs in Lean 4.
HackMD retweeted
check out my hackmd post on what we lerant @blockfuselabs on the 14/09/2026
hackmd.io/@XHChsMRtT0WJd8-jo…
HackMD retweeted
Yesterday i started my Backend Journey @blockfuselabs and it's super amazing because we started with Express.js.. here's my @hackmdio link so you can read on what we did yesterday.. hackmd.io/@Timz/HJ287G8FMl
HackMD retweeted
Then I started an article series, just pouring out stuff I've learned so far, I've written two articles so far on consensus mechanisms, PoS, PoA and PBFT. I'll write maybe one or two more as I've been reading about these pieces of gud tek. You can check them out on Hackmd here: hackmd.io/@0takuc0mrade/rJsl…
hackmd.io/@0takuc0mrade/S1xA…
HackMD retweeted
I’ve been learning about different blockchain consensus mechanisms: Proof of Work, Proof of Stake, DPoS and Proof of Authority.
I wrote a beginner-friendly article sharing what I understood from each one. @hackmdio
read here: hackmd.io/@0xsamuel/HJHhLsVY…
HackMD retweeted
github.com/riantkb/hackmd_au…
hackmd の各ユーザーの色が似てて判別に困る、ということがそこそこ頻繁にあったので、色を自由に指定できる userscript を（AI が）作りました
HackMD retweeted
You can also use a VS Code extension to live-edit with HackMD. I use a symlink to keep the note in both my Obsidian vault and my external git repo. See more below for how I do that.
ssp.sh/brain/add-external-fo…
HackMD retweeted
I just saw a question on Reddit: How do I replicate Google Docs in Obsidian?
I use a Git repo with GitHub and HackMD. HackMD acts as the Google Docs for collaboration. Git lets me push and pull between my personal, private Obsidian and the collaborative HackMD. Works great if there aren't too many changes.
ssp.sh/brain/hackmd/
ALT Collaborate with Google Docs Like style with Obsidian.