I can just see it now all the downrampers sitting around a table trying to work out how to put negative spin on it @GalaxycarWe is up 859% on revenue for the same reporting period last year as well as operating costs are down 23%......winning![]()
Relax Galaxycar.Just saying the graph don’t lye, the only way out of this is another DOG act by management giving away cheap shares to sophisticated investors. Those LDA shares that they could,nt sell cause nobody wanted them, Sophisticated Investors here we come. Shorters have this company by the ballls. 3.4% and rising WOW. Last two weeks WOW. You may not like me but the truth is what it is!
Same thoughtsBit of a "standing outside" comment?..
I thought we had a closer relationship with them, than to be "hopefully flirting" with LinkedIn comments?...
Or is it a welcome and known advance, to gain the interest of 3rd parties?...
They keep mentioning AKIDA which is commercially available.Apologies if posted
Neuromorphic AI Hardware: Brain-Inspired Chips Powering the Future
![]()
Neuromorphic AI Hardware: Brain-Inspired Chips Powering the Future
Neurons, not transistors, may decide the next decade of computing. Neuromorphic hardware—silicon that imitates the spikes, sparsity, and co-located memory of the brain—now delivers triple-digit gains in energy efficiency while unlocking real-time learning at the edge.www.linkedin.com
View attachment 89964 View attachment 89965 View attachment 89966![]()
Neuromorphic AI Hardware: Brain-Inspired Chips Powering the Future | Siddharth Bhalsod
🔥 “What if your smartwatch could train itself while sipping less power than its screen’s backlight?” Main copy (≈600 characters): Neuromorphic AI hardware is here. Chips like Intel #Loihi 2, IBM #NorthPole and #BrainChip #Akida borrow the brain’s playbook—event-driven spikes, memory beside...www.linkedin.com
They keep mentioning AKIDA which is commercially available.
And Loihi which is still a research chip.
I'm not even sure why they still mention Southpole, as by IBM's engineers own admission, it isn't even aimed at Edge computing...
![]()
IBM’s NorthPole achieves new speed and efficiency milestones
In new experimental results, the brain-inspired NorthPole research prototype chip has achieved lower latency and higher energy efficiency than comparable GPUs.research.ibm.com
"IBM Research scientists are working toward server racks filled with hundreds of NorthPole cards to perform high volumes of inference operations at faster speeds and with lower energy consumption than comparable GPU-based hardware."
Plus, I think it's also still a research chip.
So who you gonna choose?..
Of course there are other players, but they aren't getting lumped in with well known and established Giants of the Computing Industry.
"The narrative goes: ‘If the giants aren’t ready yet, then it will probably take a while.’ But once things are actually ready, they want to be the ones holding the sceptre again."I think it’s basically a game of time… They’re trying to make sure that, with all the focus on the big names – Intel, IBM, or whoever – companies like BrainChip get overlooked. The narrative goes: ‘If the giants aren’t ready yet, then it will probably take a while.’ But once things are actually ready, they want to be the ones holding the sceptre again.
The thing is, BrainChip has already laid such solid groundwork with its partners that the big players can’t just ignore them when it’s time to share the cake… you better provide a big juicy cake..
Hi Fmf,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
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...johal.in
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
I understand that @Bravo, but if you look at the likes of my a.m. post, you will see that many people do not want to read and/or scroll through those lengthy ChatGPG posts either. There have been too many lately. Wouldn't it be an alternative to ask ChatGPT to summarize its findings in just a...thestockexchange.com.au
they also mention post-quantum cryptography which is what we are currently working on with Chelpis and Mirle.Howdy All,
I just noticed that Vision Transformers (ViTs) have been mentioned in Renesas’ latest blog.
BrainChip has been vocal about supporting transformer-based workloads, including ViTs, on Akida's roadmap.
IMO the above steps position Akida as one of the most relevant technologies for ViT deployment on edge devices.
- Akida 2.0 introduced support for Transformer and CNN layers, making ViTs feasible for edge deployment.
- Akida 3.0 is expected to extend this further with FP16/FP32 precision, opening the door to higher-accuracy applications.
- BrainChip’s aTENNuate paper also explored techniques for making ViTs more energy-efficient, aligning perfectly with TinyML and embedded vision goals.
Renesas and BrainChip are already official partners. So while this Renesas blog post doesn’t explicitly mention BrainChip, you'd think it would be reasonable enough to see Akida as a candidate for Renesas’ long-term ViT strategy?
I would have thought that if Renesas plans to scale ViT-ready MPUs into production, utilizing Akida for energy-efficient, low-latency ViT inference would be a logical and highly synergistic path.
As ViTs become standard in autonomous driving, robotics, and smart vision, hopefully BrainChip can capture market share by positioning Akida as the go-to lightweight ViT accelerator within Renesas’ portfolio.
View attachment 89976
View attachment 89972
EXTRACT ONLY
View attachment 89974
Originally I thought the GenX 320 was developed as a low pixel count sensor for compatibility with Synsense, but that was before Synsense teamed up with Inivation.![]()
#genx320 #eventbasedvision #smartglasses #edgeai #wearables #arvr #smartsensors | PROPHESEE
🚀 GenX320 is the world’s smallest and most power-efficient event-based vision sensor to date – unlocking new possibilities in intelligent, autonomous, and privacy-conscious embedded vision. At a compact 3×4mm size, it’s engineered for use cases where every millimeter and microwatt counts. 💡 It...www.linkedin.com
View attachment 89983
View attachment 89984 View attachment 89985
Just noticed something interesting in the Sony diagram:Originally I thought the GenX 320 was developed as a low pixel count sensor for compatibility with Synsense, but that was before Synsense teamed up with Inivation.
We had already been working with Prophesee for some time before that, although Synsense had been with them for longer.
Back then Prophesee had their larger sensor, and it seemed that Synsense struggled to handle its capabilities, but Akida 1 worked well.
https://inf.news/en/digital/176678d553cdb3d82a319e4838c15256.html
Sony reveals new stack CMOS sensor details, new process manufacturing
2025-08-22
View attachment 89989
Previously photosensors and control electronics were formed on a single layer. In Sony's new system, the photosensors are formed on the top layer, and the control electronics are formed on the lower layer, thus increasing the proportion of surface are available for the photosensors.
This is the Prophesee hi-fi sensor built with Sony 3D tech:
https://docs.prophesee.ai/stable/hw/sensors/imx636.html
Sony Semiconductor Solutions and Prophesee collaborated to produce SONY IMX636 (HD), a stacked event based vision sensor developed around 4.86um contrast detection pixels.
This Event-based vision sensors feature high-speed/low-latency response, wide dynamic range operation, focal-plane data compression and low power consumption.
A high level of programmability is guaranteed via a four-wire serial peripheral interface. It allows the user to define region of interest and program various functions.
The vision sensor data output is fully digital and consists of 16-wire parallel data bus with an external clock and data valid flag. This interface can easily be connected to an external parallel to LVDS serializer IC.
Features
- 1280x720 Pixel CMOS vision sensor
- 4.86μm x 4.86μm event-based pixel
- <1/2” optical format
- Monochrome
- 16-bit parallel data output
- 1G event/s (1GEPS) peak output
- Random Programmable Region of Interest (ROI)
- Serial Peripheral Interface (SPI)
- High Dynamic Range (HDR) beyond 120 dB
- −40°C to +85°C Operational temperature range
- 50-70mW typical power consumption
This has about 10 times the number of pixels of GenX320.
Now that Inivation has teamed up with Synsense, we're sure to be Prophesee's best friend.