Restarted the challenge: the first one included an unnecessary public artifact that made it bruteforceable. It was not a clean HFHE challenge and v2 removes that path. Unfortunetely, previous point still stands and unless funds are moved, every generic "break" will be ignored.
open HFHE challenge v2
this wallet holds 500,000 OCT:
octC5eR9pLGKbpzTbDgHowkFt8HW7LZYb2gzehzxHamxuAZ
recover its private key, tell us how you did it and receive another 500,000 OCT, for a total of 1 million. do not submit issues, they will be removed! github.com/octra-labs/hfhe-c…
dasha retweeted
the updated lite node has been transferred to the octra labs github: github.com/octra-labs/lite_n…
important to note that it is not a conventional "light node" that only downloads headers, but rather a full validator node reserved for smaller devices and tasks that don't involve heavy compute: old laptops, mobile phones and raspberry pi.
with the open sourcing of the lite node, the web client and the pvac-hfhe proof of concept, most of the stages of preparation for mainnet beta are complete. external validators will be able to connect to the network after the upgrade.
work remains on web client security, the release of a formal hfhe paper, the mainnet network whitepaper, regular and bootstrap nodes, dev tooling & app layer. a roadmap update will be published separately.
hfhe: github.com/octra-labs/pvac_h…
client: github.com/octra-labs/webcli…
dear community, the lite node will now be publicly available directly on GitHub (the internal version will match the public one exactly), we have also decided to merge the new VM policies along with these commits, a big webcli update is coming now
github.com/octra-labs/lite_n…
thank you for your support
dasha retweeted
an early version of the lite node core (_build_0x1067dzc2) is available via the internal gitlab, this version excludes the boot-loader (which will be available separately)
a lite node fully compatible with main net and additional components will be available on GitHub for building and deployment (consider this release a nightly build for evaluation purposes)
gitlab.octra.org.uk/octra/li…
thank you all for the support – at London, England
dasha retweeted
i'm happy to announce that i've just published my work on the formal verification in lean 4 of @octra's hfhe scheme: github.com/lamafab/octra-hfh… (remains heavily work-in-progress).
this will be refined over time and i'll add a bunch of pretty charts to make this more approachable. so far none of my previous charts actually described how the hypergraph fits into the hfhe scheme. additionally, the team behind @octra has asked me to work on their whitepaper, which i'll gladly contribute to. more to come.
dasha retweeted
Replying to @_Enoch @tom777kruise
this claims false and not verifable
technical section already fails at the first factual step
“there’s no WASM as claimed.”
archive.ph/Eb4pc#selection-1…
but that is false. the sandbox build contains a downloadable .wasm artifact. It can be downloaded and inspected! lines 429, 437, 866, 994 in worker (sandbox.octra.org/assets/was…) show a WASM file loading path.
wasm file sandbox.octra.org/assets/mai…
also truncated the exact part that matters there:
archive.ph/Eb4pc#selection-2…
lines 893–900 and 1491–1500 show the omitted API surface in worker (sandbox.octra.org/assets/was…)
and then conclude:
>“the flow here is decrypt-compute-reencrypt.”
but the omitted part includes more operations and the worker dispatch routes actual sandbox requests through the loaded wasm module
lines
1471–1472 generateKeys
1475–1476 encrypt
1479–1480 decrypt
1483–1484 add
1487–1488 subtract
1491–1492 multiply
1495–1496 divide
1499–1500 cofactor
sandbox receives operation and routes it to WASM-backed module function.
next, technical reasoning keeps changing standards
archive.ph/Eb4pc#selection-3…
that is an informal complexity guess, If the claim is “not scalable,” show benchmarks, asymptotic derivation, parameters, operation counts, and comparison against the actual implementation
we have avaliable benchmarks, unlike author
(github.com/octra-labs/pvac_h…)
then he compare HFHE to CKKS and TFHE. this is a false analogy: he treats CKKS/TFHE design choices as if they were mandatory criteria for any FHE construction, same as i treated EVM as mandatory design for any *VM construction. a new construction does not fail merely because it lacks the same machinery used by existing schemes, such as CKKS rescaling or TFHE programmable bootstrapping. the burden is to show that the current construction lacks any equivalent mechanism required for correctness, noise control, or homomorphic evaluation. without that, the argument is just: HFHE does not look like CKKS/TFHE, therefore HFHE is invalid. wtf? that is not even logically valid
archive.ph/Eb4pc#selection-4…
the claim is that the current HFHE construction is just Paillier, he must show that in the current repository. (github.com/octra-labs/pvac_h…), instead, he talks about older artifacts (ocaml HFHE repo) and then transfers that conclusion onto the active implementation!
on key sharding, he again overstates the conclusion and giving his personal opinions on how sharding should be done. the octra docs page itself says it is a “visual example,” that the bootstrapping algorithm is “not presented here,” and that key features are generalized. he is treating a generalized explanatory page as a full formal spec, then attacking it for not being a full formal spec (docs.octra.org/tech-docs/hfh…). this is straw man.
therefore, conclusion cannot follow from these facts. the argument is built on false and incomplete premises!
are you really willing to bet your reputation on claims contradicted by the artifacts themselves?
Replying to @te_mpe_st @lambda0xE
There will be no debate, this thinly veiled sensationalist doxx report is only 30% lazy slop analysis of outdated materials that intentionally omits the only two repos relevant to any technical criticism, which is either intellectually dishonest or negligent. It also displays unforgivable levels of ignorance about blockchains in general, for example how transfers, bridges and multisigs work.
The remaining 70% are doxx attempts of random people which in itself is utterly morally corrupt and foreign to the whole idea of crypto, software or indeed the internet. Almost every statement that is inferred from the listed facts in this article are factually incorrect, damaging and borderline defamatory. If I was behind this piece of "research" and had any dignity at all, I would take down the article as it is, apologize to everyone involved, and come back with properly structured technical criticism or improvement suggestions.
Enjoy the engagement.
nitter.cf/CharlotteFang77/status…
dasha retweeted
the second graph describing the @octra encryption process. planned up next is a graph regarding the homomorphic operations, so it's likely that this one might get revised and readjusted accordingly. the most complicated part about octra is how it manages and cleans up edges, especially regarding "σ-density". so that will probably result in two separate graphs. consider this all work in progress.
dasha retweeted
1/ The first Dark Pool coins are now here. 🧪
We’ve erased the line between public markets and encrypted pools on Octra chain.
The future of on-chain privacy starts here. 🧵
a comprehensive report on octra, its launch strategy, plans, the role of OCT, proprietary hypergraph FHE scheme and what it unlocks, is now out
written by @AvgJoesCrypto, a prominent privacy advocate over at @MessariCrypto
thank you for the coverage!
messari.io/report/octra-buil…
dasha retweeted
To update on this. ZSA discussion is still ongoing in the ZEC community, I am hopeful. I diversified ~10% of my Zcash position into Nock, Octra, Aztec, Umbra, Near, Starknet & Railgun. Still considering some other options and adding. All of these choices either complement ZEC's functionality, or have a decent chance of beating it to market adoption for some use cases. Will do a bigger writeup soon
dasha retweeted
may be biased but feel like truly interesting and long lasting cults will be those formed around complex tech, something the wagmi crew will look back at in 10 years and think damn i was there but missed it cause i was busy trying to pump a 50k shitter
dasha retweeted
👀 someone bridged and encrypted 100,000 ethereum:0x4647e1fe715c9e23959022c2416c71867f5a6e80:
octrascan.io/tx.html?hash=91…
the encrypted balance can now be moved arbitrarily within the network, used for programs, circles, apps or inference, or even staked.
⏲️ btw, the bridging took just under a minute:
etherscan.io/tx/0x6ad58a9e15…





























