cofounder @octra

Joined December 2021
alex retweeted
the cryptographic proto is fully active on the dev net, the proof form is optimized by 2x (tests can be observed live btw), the entire surface is accessible, enc, dec, stealth txs, claims, etc, and at the VM level, the HFHE proof form (pvac version) is fully operational: devnet.octrascan.io/tx.html?… (you can see an example here and on our dev addr in the history, and the payload is available via rpc and in the raw record) * an important thing before migration, in order to use these features, you will need to upgrade your webcli tomorrow evening – at London, England
4
16
1
57
1,578
Proud to announce that in the early days of external testing, Loops was awarded its first autonomous $1000 bounty by the Ethereum Foundation
Our agentic "Loops" infra is getting better: a serious devnet inflation bug was caught immediately upon activation and with no impact on mainnet. We also ran Loops on friendly privacy/ZK/FHE-adjacent projects, and responsibly disclosed our findings. Write-up coming once safe.
5
5
1
69
1,640
Our agentic "Loops" infra is getting better: a serious devnet inflation bug was caught immediately upon activation and with no impact on mainnet. We also ran Loops on friendly privacy/ZK/FHE-adjacent projects, and responsibly disclosed our findings. Write-up coming once safe.
a new unscheduled release is now available for vals. please upgrade your nodes (a lot has been done on recovery and sync + an old bug from an earlier implementation at the vm level has been fixed) * * the node could process the same epoch twice, and the root at that moment was different, when building and checking proposals at the consensus level, it was specified as 32 raw bytes (the earliest implementation from the end of 2024),and when using the epoch from the head, it was transmitted as a 64-hex string, so the bug was found during pre-release main net testing for mem compatibility of different program envs upgrading is easy - sh controls/upgrade.sh sh controls/upgrade.sh --apply sh controls/stat.sh github.com/octra-labs/lite_n…
7
7
4
71
4,063
SHA256: 7361b44f74a94d66e5edef3b9da0cdbe874afd2376def687807203e1a953bfa1 Will follow up on this
6
3
60
4,122
Hours after publication, the fleet caught an already patched devnet bug of the same class that we paid a five figure bounty for in June. It was assigned a first ever critical severity and live-tested overnight. 3 months subs paid off tenfold with just one routine finding. Do it!
4
10
80
1,499
Octra does not actually need a new CLI, it is natively agentic. Any agent can build webcli, derive keys, fund a wallet, encrypt, deploy programs and circles and even run nodes. The RPC scheme is complete, our own fleet runs on public code. Easily the most agent friendly network:
can't wait for @octra to get CLI for agents private onchain agent swarms coming soon
10
21
7
119
7,512
made a short explainer on what lambda and the team is cooking and what this means claude.ai/artifact/UUJtQxcTr…
the test app, which we plan to release first on sepolia evm + octra devnet, and then add other networks, will allow sending ERC20 assets and gas coins between participants without disclosing the amount, sender, and recipient, outside the octra network (while octra is used as a computing layer for encrypted data) it will be available completely open source, the application can be run locally (using the same principle as webcli), no trust environment, sharing keys, etc.
7
6
51
1,327
alex retweeted
lite node gets a solid update (or rather, already got it, release marker is on the way, validators will need to update), this release included a lot of work on circles (atomicity, native transfers etc), nested programs (both ways with circles), improvements for the hfhe worker with a developed actor model (ported from the bootstrap node), rule activation roughly after 10k epochs, everyone should update (mainnet gets this update too) with every step the lite node is already getting harder and harder to call "lite", with the storage module update and gpu interface for deep compute chains on top of circles it will become indistinguishable from a standard node. among the interesting bits - the proof model is also expanded, we decided to add validated verif methods in Coq from our early 2022 work for the sake of culture a couple more words on the PQ hysteria of llm slopers and doomerism, to clear questions we decided not to wait for the start of 2027, but to start rolling out the update on signatures, hashing and other stuff on lpn + our hash-based basis (where appropriate) already now with gradual activation so everyone can comfortably update signature format etc (detailed plan will be published a bit later, still figuring out how to do it seamlessly) github.com/octra-labs/lite_n… – at London, England
5
17
4
78
6,953
alex retweeted
the test app, which we plan to release first on sepolia evm + octra devnet, and then add other networks, will allow sending ERC20 assets and gas coins between participants without disclosing the amount, sender, and recipient, outside the octra network (while octra is used as a computing layer for encrypted data) it will be available completely open source, the application can be run locally (using the same principle as webcli), no trust environment, sharing keys, etc. – at London, England
19
26
9
116
9,842
octra weekly recap 🔵 octrober is here and things are heating up → mainnet is currently being updated → better node syncing + recovery → more work on private program state → better tracking of program compute usage → more AppliedML improvements once mainnet update is complete, all HFHE ops, new aml features, a new program layer + updated circle viewer are coming with it universal encrypted compute is slowly coming together thank u lambda
octra weekly recap 🔵 getting closer. → devnet entered its final stage → mainnet is catching up with the same core implementation → more fixes for encrypted computation → better node syncing + recovery → validator exit/withdraw flow added → devnet validator map is now public next up: remaining hfhe/private functions, webcli update + mainnet configs still some work to do, but the pieces are starting to come together again thank u all so much for all ur support
3
4
1
49
2,077
alex retweeted
the node core has been further updated and now includes several useful things (+ amlc): -new format for snapshots ( now the certificate is signed into the stage before durable publication (fsync, rename, parent fsync), and ledger restore follows the same order,previously, there were many problems with this, which sometimes led to mismatches, so now this problem is completely gone) - an additional thing also applies to recovery mode, pending finality verified against epoch selected validator sets at restart; - the circles runtime env has been improved also, proposer side turn and refill policy (not a validity rule); - the virtual machine also receives improvements, content keyed program decode cache (64 entries, 32 Mb) and large int pool (512 entries, 32 Mb ), output-identical + byte work metering introduced\ - R1CS has also undergone some changes- for example the verifier builds constraints without witness values and releases weight vectors early, and some others; - we have also added a large amount of Coq mods to the repo that had not been published before (the volume of public formal verification for each item becomes more accessible for external audit; previously we did not open our Coq modules, later we reconsidered this at the request of several researchers, and over time this will be filled in completely), - the test dir has also been expanded, - the Vm and the compiler have received byte work mode (written, erased, copied, allocated and scanned bytes priced in effort), overflow checked mem spans, and integer constants decoded once per image, etc all vals should definitely upgrade their nodes, since there are no new major dev net updates expected, and most, all the fixes do not require coordinated activation, so there is no critical rush to upgrade, but for the sake of culture and hygiene it is definitely worth it the new release marker is also available, if you can't use it, you can always rebuild it yourself and connect to the network: node: github.com/octra-labs/lite_n… compiler: github.com/octra-labs/amlc – at London, England
10
17
4
81
5,293
alex retweeted
the mainnet is currently undergoing an update, once complete, all HFHE ops, new @AppliedLang features, a new program layer, an updated circle viewer, and more will become available (the webcli will need to be rebuilt for this) + cleaning things up and fixing bugs using the ML fuzzer tool @octralex developed (he might release it as a third party product later it seems) * * an automated bug hunter on steroids – at London, England
16
22
1
99
4,600
alex retweeted
Universal Encrypted Compute
The cryptographic world computer: vitalik.eth.limo/general/202… My attempt to express in somewhat concise terms the true meaning of basically everything planned to happen to Ethereum starting from the fork after Hegota. It's really not just a blockchain anymore. It's a hybrid architecture that combines together blockchains and modern cryptography, to enable much more powerful properties. FOCIL, EIP-8288, Lean consensus, state management, formal verification, advanced mempool improvements (including privacy), and the longer-term specter of obfuscation all mentioned.
21
16
3
137
9,174
alex retweeted
another important nightly update has been completed, which included several things important for the devnet, and therefore also for the mainnet: 1. exact arithmetic - we moved 512 bit scalar reduction into wide form, eliminated rare truncation of the high bit, negative constants in the VM now go into the field signed, and not as before (before we used unsigned casting andthis problem had been there for a long time, we only noticed it now), normalization of the empty part of the ciphertext is now implemented correctly (before multiplication and addition with a constant), also improvements in Q16, and the arithmetic mode is pulled through everything possible, all flows where it can be involved are now covered explicitly 2. MEMORY. the proposers and preverify cache now takes bytes into account and not only the number of tasks (the mechanic is transferred from bootstrap nodes), repeating strings are now interned through a weak table, also now the pre verify cache is reset on state root change, and does not pile up in the heap and stale results do not accumulate (the storage node mechanic is transferred to the lite node), 3 . nil quorum prevote advances the round immediately, and not as before when a node could idle for the full timeout, and a proposal with still unavailable time of the previous epoch will wait and retry, and not refuse blindly, also validator set retention is transferred (a similar mechanic is implemented on bootstrap nodes and has previously proven its effectiveness) 3. another pile of profile tests (earlier we decided to gradually bring all testing tools into public access and continue to do so). a new release marker is on the way, validators should upgrade for the sake of culture and safety github.com/octra-labs/lite_n… – at London, England
9
20
4
81
10,576
alex retweeted
from zero to one - devnet was updated at epoch 1500000 (much better than we expected), there were some delays that should be resolved with the new release (existing validators should upgrade, the release marker is already in place). among other things, we moved a lot of tests that we don't usually add to releases, but decided to slowly add them for the sake of culture and convenience of validators and devs who directly work with the code, so that they don't waste time writing covering tests. another thing i'd like to point out is that main net is catching up quickly with all the fixes successfully implemented in dev net, the next release will include configs for connecting to main net, so validators will be able to start working with the main network as well. want an upgrade? it's simple, run these commands from your existing node checkout + using the same user that runs your node: sh controls/upgrade.sh --diagnose sh controls/upgrade.sh --apply sh controls/upgrade.sh --diagnose * remember the days when upgrading took several iterations and a ton of approvals? that's a thing of the past now. btw, if you have a spare graphics card or a cluster of GPUs, now's the time to create a symlink for your future mainnet node because you'll have something to fill it with (private inference on steroids has already been tested and debugged). ps: a major webcli update is also on the way, thanks to everyone for their support and help. – at London, England
17
29
6
127
7,658
alex retweeted
the lite node has received significant improvements, including inheriting the full VM + amlc compiler (with fairly strict formal verification) from the previous generation, this nightly build also addresses a long standing issue with storage size growth, we've migrated a feature from the storage node to the lite node that enables the use of a compact account pack - instead of rewriting full account records, the node only commits changed cells and a fixed size header each epoch, allowing the size to be reduced from 5 Mb to 191 kilo b (a 26x space saving), several other minor fixes are also included. this release will be tested for some time, and we will prepare an updated instructions (although it may be possible to use previous installation routes, which will be announced later). many thanks everyone. github.com/octra-labs/lite_n… – at London, England
7
18
2
83
8,722
the octra lite node visualized play with it here: claude.ai/code/artifact/4de5…
i've started having claude turn my codebases into visual diagrams so i can discuss the codebases with claude more easily - the moving dots are data snippets that i can inspect
6
6
52
3,359