Just noticed something interesting in the Sony diagram:
There are 4 photodiodes in a group:
1 RED;
1 Blue;
2 Green.
I recall that the human eye is most sensitive to green light, so this may be to imitate that.
BRN Discussion Ongoing
- Thread starter TechGirl
- Start date
There are 4 photodiodes in a group:
1 RED;
1 Blue;
2 Green.
I recall that the human eye is most sensitive to green light, so this may be to imitate that.
Thanks @Diogenese, sorry to sound like a thicky, does that mean that Akida will be a part of the below event based vision sensor?
Sony Semiconductor Solutions and Prophesee collaborated to produce SONY IMX636 (HD), a stacked event based vision sensor developed around 4.86um contrast detection pixels.
Hi Rach,
I think my brain just short circuited:
"According to Sony, the stacked CMOS image sensor with two-layer transistor pixels can improve the image quality without increasing the size of the mobile phone sensor, but considering that the integrated DRAM stacked CMOS sensor is not yet popular in the mobile phone market, and the mobile phone market is increasingly crowded with toothpaste, and mobile phones are used in mobile phones. The new stack sensor is probably a matter of the year of the monkey."
This must be how it feels to be the president of the US.
The blue box labeled "Circuitry" is where the signal processing would take place. Initially this would have been Synsense in the GenX320. The question is whether Prophesee will choose to switch out the Synsnese circuitry because Synsense is now integrated with their somewhat unfriendly rival Inivation (Synsense owns Inivation) so you'd think they would want to distance themselves from Inivation and, by association, Synsense in GenX320 which is a Prophesee product, ie, not branded Sony.
As to the ~1 million pixel Sony IMX636, as this is a Sony product, I guess it's Sony's decision, but, given the earlier comments from Luca implying Synsense's inadequacy re the large Prophesee pixel array, I think that must favour Akida, especially now we have TENNs.
Also note the article is dated 20250822, so ... it would be nice.
TheDrooben
Pretty Pretty Pretty Pretty Good
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....
Happy as Larry
I think Intel should pray that Trump has no managerial input.
TheDrooben
Pretty Pretty Pretty Pretty Good
Might be bankruptcy number 7
TheDrooben
Pretty Pretty Pretty Pretty Good
At least he admitted he was a Derek....
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
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
sorry this looks all great with the gifs and all but can we stop putting brainchip in made up gifs . It is funny and all but I am a bit sick of them, sorry to burst your bubble and be a negative nancy on this. the gifs are funny but please leave the official name out. sorry in advance for...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
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
Similar threads
