Trendaavat aiheet
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Informal Systems 🌱
Premier Partner in Protocol Design & Cross-Chain Infrastructure | Audits | Validator | Incubating @cyclesmoney | Supporting early-stage projects @informalvc
Informal Systems 🌱 kirjasi uudelleen
DeFi users spend way too much time looking for yield, rebalancing across venues as the rates shift, bridging assets, wrapping derivatives etc.
We're building a solution that will let them deposit and get the highest low-risk returns available on the market at any given time.
1,09K
Solana’s new Alpenglow consensus now has a Quint spec.
Instead of explaining the protocol, we’re giving you the tools to understand it yourself. The blog post gets you started with the interactive tooling, and challenges you to build scenarios where Byzantine nodes cause disagreement.
Can you break consensus? ⬇️
2,11K
.@josef_widder breaks down why security starts with design, not just code review, on @MacrocosmPod ↴
10.7.2025
System Design, Security Threats & Audits with @informalinc 's @josef_widder
0:00 Intro & Role
1:26 Academic Roots
4:19 Audits Before Crypto
7:07 Nature of Security
9:22 Design vs Build
12:15 Limits of Audits
14:51 Threat Modeling
17:21 Long-Term Security
20:13 Scoping Audits
23:28 Full Stack Risk
26:23 Consensus & SCs
28:54 Bridges & Layers
31:00 Tendermint & Rust
35:01 Building Protocols
38:52 Formal Specs
42:29 Anoma Thoughts
43:29 Audit Process
46:02 Language Choices
48:56 Early Involvement
52:16 Cost & Value
872
Johtavat
Rankkaus
Suosikit