BRN Discussion Ongoing

TheDrooben

Pretty Pretty Pretty Pretty Good
  • Haha
Reactions: 2 users

CHIPS

Regular
I thought MAGA was against the govt involvement in private companies?????
Isn't that a form of socialism???? Probably hear nothing about that.
Oh dear....

View attachment 89995

Happy as Larry

And the Government buying a 10 % share of INTEL is not an involvement?
 

TheDrooben

Pretty Pretty Pretty Pretty Good
And the Government buying a 10 % share of INTEL is not an involvement?
Umm yeah that's my point @CHIPS .....the MAGA movement is all about LESS govt involvement in EVERYTHING......but buying the 10% stake in Intel ....well it's ok if the Orange Man does it. Wonder what MAGA would say if Biden or Obama did it....."Commies!!!" "Socialists!!!" - "Don't tread on me!!!" What a fuckin' laugh....

fd22e16d-427d-4fdd-a009-e117d9fcd6e8_text.gif


Happy as Larry
 
  • Haha
  • Like
  • Fire
Reactions: 8 users

gilti

Regular

THE HACK ANGELS RECOVERY EXPERT // A LEGITIMATE CRYPTO BITCOIN / USDT RECOVERY EXPERT​


I came across a company website that promised a big return on investment. I put 790k USDT in an online cryptocurrency investment platform and I was scammed out of everything. I was very disappointed with myself. When I went online, I found testimony about this hacker called THE HACK ANGELS RECOVERY EXPERT collective with a reputation for recovering cryptocurrency, i decided to get in touch with them and submitted my case to the expert. After a few hours of work with them, I was shocked to learn that they had recovered all of my stolen USDT in just 24 hours. I said that I will not hold this to myself but share it to the public I advise everyone seeking to recover their lost bitcoin Reach out to THE HACK ANGELS You can have a chat with him through. EMAIL

Email at support@thehackangels.com

Website at www.thehackangels.com

WhatsApp +1(520)2 0 0-2 3 2 0
I am so happy and in tears of joy to get back my funds.

View attachment 89997
fuck off
 
  • Haha
  • Like
  • Love
Reactions: 14 users

JB49

Regular
Ummmm ok.

TENNs???

@Diogenese ??

If this authors information is correct, I'll take a Siemens relationship and hopefully a contract, though it could be through a partner I guess, any day of the week.

Who knows though.... can't find any substantial confirmation yet.



Smart Contract Formal Verification: Practical Guide​

ANKUSH CHOUDHARY

17 Aug 2025 — 9 min read
As blockchain penetrates critical infrastructure sectors, 2025 has witnessed catastrophic smart contract failures causing $1.2B+ in losses - making formal verification transition from academic luxury to operational necessity for any production system handling digital assets or automated decisions.

Core Insights​

  • Neuromorphic co-processors accelerate verification runtime by 5.7x through parallel proof execution
  • Quantum-resistant cryptographic proofs now required for all financial smart contracts
  • EU AI Act Article 22 mandates formal verification for autonomous transaction systems
  • Generative adversarial networks synthesize edge-case contract scenarios undetectable by traditional testing
  • 2025 benchmark: 94% reduction in vulnerabilities when using model checking pre-deployment

Implementation Framework​

Modern verification stacks integrate three critical layers: symbolic execution engines for path exploration, temporal logic model checkers for property validation, and equivalence checkers for compiler output consistency. The 2025 reference architecture employs NVIDIA's cuVerify SDK leveraging GPU-accelerated SMT solvers alongside OpenAI's VeriGen for adversarial test generation. Crucially, neuromorphic co-processing units now handle state explosion problems through spiking neural networks that prune irrelevant execution paths in real-time.

Python
Copy
Formal verification pipeline with neuromorphic acceleration
from formal_verify_2025 import SymbolicEngine, NeuromorphicOptimizer
from eu_compliance import Article22Auditor

def verify_contract(contract_bytecode):
Initialize neuromorphic path optimizer
nopt = NeuromorphicOptimizer(cores=8, topology="sparse")

Symbolic execution with quantum-resistant constraints
engine = SymbolicEngine(
bytecode=contract_bytecode,
optimizers=[nopt],
crypto_standard="CRYSTALS-Kyber"
)

EU compliance pre-check
if not Article22Auditor.validate(engine):
raise ComplianceError("EU AI Act Article 22 requirements not met")

Generate proof certificates
return engine.verify(
properties="safety_properties.spec",
timeout=300 seconds
)

3.8xfaster verification cycles vs. 2024 toolchains (IEEE Security 2025)

Real-World Deployment: Siemens' Industrial Smart Contracts for Energy Grids

Facing critical infrastructure vulnerabilities in their blockchain-based energy trading platform, Siemens implemented a formal verification pipeline after a 2024 exploit drained 12,000 MWh of power credits. Their solution integrated Cadence's Temporal Logic Verifier with custom neuromorphic hardware from BrainChip, reducing state space analysis from 48 hours to 11 minutes. The system now automatically generates mathematical proofs for all contract upgrades before grid deployment.

CASE STUDY
Energy Grid Smart Contract Verification Metrics
Siemens implemented formal verification for 142 critical contracts:

  • Prevented 3 zero-day exploits during deployment
  • Reduced audit costs by 67%
  • Achieved EU regulatory compliance 4 months ahead of deadline

Implementation Results​

  • Verification throughput: 12 contracts/hour
  • False positive rate: 0.3%
  • Critical bug detection: 100% of known vulnerability classes
Interestingly @7für7 posted the other day that a Global Sales Exec from Siemens EDA commented on the BRN LinkedIn post re Akida Cloud.

FMF any background on the author of this article, Ankush Choudhary? When i click on his name i just get the below. I wonder where he got this information from?

1755856022826.png
 
  • Like
Reactions: 2 users

Slade

Top 20
FMF any background on the author of this article, Ankush Choudhary? When i click on his name i just get the below. I wonder where he got this information from?

View attachment 90021
I think he made it up. He creates tools, insights and BS to help people.
 
  • Like
  • Haha
Reactions: 3 users

Kimalex

Emerged
Bitcoin Recovery Services: Restoring Lost Cryptocurrency by Wizard Larry Recovery Experts

The USDT that I lost from my Coinbase account was $89,266.43. In a subsequent article I read on the Bitcoin Abuse Forum, Wizard Larry Recovery was suggested. I reached out to him through Wizardlarry(@)mail.com, and he assisted me in getting back all of the money that had been stolen. Feel free to contact him. In addition to helping you find them, he could potentially be able to assist you get your money back.

Website// wizardlarryrecovery. com

Email//// info@wizardlarryrecovery. com

Text or Call +1(616) 292-4789

WhatsApp Image 2025-08-22 at 02.49.15.jpeg
 

TheDrooben

Pretty Pretty Pretty Pretty Good
Wizard Larry?????

giphy (22).gif


Fuck off Kim
 
  • Haha
  • Like
Reactions: 4 users

equanimous

Norse clairvoyant shapeshifter goddess

THE HACK ANGELS RECOVERY EXPERT // A LEGITIMATE CRYPTO BITCOIN / USDT RECOVERY EXPERT​


I came across a company website that promised a big return on investment. I put 790k USDT in an online cryptocurrency investment platform and I was scammed out of everything. I was very disappointed with myself. When I went online, I found testimony about this hacker called THE HACK ANGELS RECOVERY EXPERT collective with a reputation for recovering cryptocurrency, i decided to get in touch with them and submitted my case to the expert. After a few hours of work with them, I was shocked to learn that they had recovered all of my stolen USDT in just 24 hours. I said that I will not hold this to myself but share it to the public I advise everyone seeking to recover their lost bitcoin Reach out to THE HACK ANGELS You can have a chat with him through. EMAIL

Email at support@thehackangels.com

Website at www.thehackangels.com

WhatsApp +1(520)2 0 0-2 3 2 0
I am so happy and in tears of joy to get back my funds.

View attachment 89997
 
  • Haha
  • Fire
Reactions: 3 users

Xerof

Flaming 1967

Xerof

Flaming 1967
  • Haha
Reactions: 3 users

Diogenese

Top 20
Diogenese bitcoin loss recovery service:

Click here ->

let them eat cake GIF by Maremonstrum
 
  • Haha
  • Like
Reactions: 6 users

TECH

Regular
Hi All,

Having had a good read of today's release, nothing out of the ordinary to be had, it's just a formality that has to be lodged, BUT,
one thing that does annoy me or make me question is the term "other expenses"

2024 $508,680 USD or $788,651 AUD

2025 $672,283 USD or $1,042,299 AUD

That's a 32% increase; it's also a lot of our funds spent on what exactly, yes it covers 3 divisions within the company, namely,
Research & Development, Sales & Marketing and General & Administration.

Together those expenses represent 3rd and 5th position out of 9/10 categories.... maybe many don't give a......................
but "other" doesn't cut it with me, what were those expenses?

Cheers and good evening..........Tech :rolleyes:
 
  • Like
  • Fire
Reactions: 6 users

THE HACK ANGELS RECOVERY EXPERT // A LEGITIMATE CRYPTO BITCOIN / USDT RECOVERY EXPERT​


I came across a company website that promised a big return on investment. I put 790k USDT in an online cryptocurrency investment platform and I was scammed out of everything. I was very disappointed with myself. When I went online, I found testimony about this hacker called THE HACK ANGELS RECOVERY EXPERT collective with a reputation for recovering cryptocurrency, i decided to get in touch with them and submitted my case to the expert. After a few hours of work with them, I was shocked to learn that they had recovered all of my stolen USDT in just 24 hours. I said that I will not hold this to myself but share it to the public I advise everyone seeking to recover their lost bitcoin Reach out to THE HACK ANGELS You can have a chat with him through. EMAIL

Email at support@thehackangels.com

Website at www.thehackangels.com

WhatsApp +1(520)2 0 0-2 3 2 0
I am so happy and in tears of joy to get back my funds.

View attachment 89997
@Esq.111
 
  • Haha
Reactions: 2 users
THE HACK ANGELS RECOVERY EXPERT // A LEGITIMATE CRYPTO BITCOIN / USDT RECOVERY EXPERT

I came across a company website that promised a big return on investment. I put 790k USDT in an online cryptocurrency investment platform and I was scammed out of everything. I was very disappointed with myself. When I went online, I found testimony about this hacker called THE HACK ANGELS RECOVERY EXPERT collective with a reputation for recovering cryptocurrency, i decided to get in touch with them and submitted my case to the expert. After a few hours of work with them, I was shocked to learn that they had recovered all of my stolen USDT in just 24 hours. I said that I will not hold this to myself but share it to the public I advise everyone seeking to recover their lost bitcoin Reach out to THE HACK ANGELS You can have a chat with him through. EMAIL

Email at support@thehackangels.com

Website at www.thehackangels.com

WhatsApp +1(520)2 0 0-2 3 2 0
I am so happy and in tears of joy to get back my funds. View attachment 90014
@Esq.111
 

CHIPS

Regular
Umm yeah that's my point @CHIPS .....the MAGA movement is all about LESS govt involvement in EVERYTHING......but buying the 10% stake in Intel ....well it's ok if the Orange Man does it. Wonder what MAGA would say if Biden or Obama did it....."Commies!!!" "Socialists!!!" - "Don't tread on me!!!" What a fuckin' laugh....

View attachment 90020

Happy as Larry

So true! Never trust any Government! :rolleyes:
 
  • Like
Reactions: 1 users

CHIPS

Regular
FMF any background on the author of this article, Ankush Choudhary? When i click on his name i just get the below. I wonder where he got this information from?

View attachment 90021

GROK told me the following:

According to the Johal AI Hub website (johal.in), he is the driving force behind this platform, which focuses on AI-powered tools, insights, and innovations. Further details about his background are not extensively covered on the website, but it is mentioned that Johal AI Hub is a new initiative by him, specializing in providing AI solutions, tutorials, and resources to enhance productivity, creativity, and learning.
 
  • Like
Reactions: 2 users
FMF any background on the author of this article, Ankush Choudhary? When i click on his name i just get the below. I wonder where he got this information from?

View attachment 90021
No. Only did a basic search but nothing jumped out hence why in my post I mentioned about no real confirmation as yet.

Although Slade appears cynical / skeptical, with reason, the interesting thing by the author that caught my attention was the apparent reproduction of the some of the Python with respects to the audit and compliance framework by the EU identifying a neuromorphic accelerator in use. Akida..who knows?

I have presumed that may not be all the code and could be more detailed references within to the actual accelerator used that "maybe" the author has seen.

When I have time I will search around for any addituonal references to the code, audit / compliance report, Cadence references. Though it is a supposed Siemens solution, it is driven by support from Cadence and apparently Brainchip hardware according to the author.
 
  • Like
  • Fire
Reactions: 4 users

Slade

Top 20
No. Only did a basic search but nothing jumped out hence why in my post I mentioned about no real confirmation as yet.

Although Slade appears cynical / skeptical, with reason, the interesting thing by the author that caught my attention was the apparent reproduction of the some of the Python with respects to the audit and compliance framework by the EU identifying a neuromorphic accelerator in use. Akida..who knows?

I have presumed that may not be all the code and could be more detailed references within to the actual accelerator used that "maybe" the author has seen.

When I have time I will search around for any addituonal references to the code, audit / compliance report, Cadence references. Though it is a supposed Siemens solution, it is driven by support from Cadence and apparently Brainchip hardware according to the author.
Always appreciate your research Fullmoon and I really hope you find something to validate his claims. I would love to be wrong about this guy.
 
  • Like
Reactions: 1 users
Top Bottom