TheDrooben
Pretty Pretty Pretty Pretty Good
At least he admitted he was a Derek....
BRN Discussion Ongoing
- Thread starter TechGirl
- Start date
CHIPS
Regular
And the Government buying a 10 % share of INTEL is not an involvement?
TheDrooben
Pretty Pretty Pretty Pretty Good
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....
Happy as Larry
gilti
Regular
fuck off
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?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
Interestingly @7für7 posted the other day that a Global Sales Exec from Siemens EDA commented on the BRN LinkedIn post re Akida Cloud.
- Verification throughput: 12 contracts/hour
- False positive rate: 0.3%
- Critical bug detection: 100% of known vulnerability classes
BRN Discussion Ongoing
Looking to accelerate your AI development and dive into cutting-edge neuromorphic technology? Join us for an exclusive webinar on our new BrainChip Developer Akida Cloud, a new cloud-based platform providing instant, hardware-free access to our next-generation Akida™ technology. Akida Cloud...thestockexchange.com.au
I think he made it up. He creates tools, insights and BS to help people.
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
TheDrooben
Pretty Pretty Pretty Pretty Good
Wizard Larry?????
Fuck off Kim
Fuck off Kim
FJ-215
Regular
equanimous
Norse clairvoyant shapeshifter goddess
Xerof
Flaming 1967
@derrickleonard That’s very British of you dear fellow
Xerof
Flaming 1967
@Kimalex can I introduce you to @derrickleonard you have so much in common
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
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
CHIPS
Regular
CHIPS
Regular
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.
Fullmoonfever
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.
Similar threads
