Pakistan’s power challenge cannot be reduced to IPPs alone. Generation, transmission, distribution, demand and contractual arrangements have to be considered

We study interactive proofs when the prover and the verifier access the same underlying data through independent noisy views. The noise is \emph{persistent} for each party: each location is corrupted once, and repeated queries to the same location return the same corrupted value. We introduce two models in this setting: \emph{noisy interactive proofs of proximity} (noisy IPPs), and \emph{noisy PAC verification}, a noisy analogue of the PAC verification framework of Goldwasser et al.\ [ITCS 2021]. These are the first interactive-proof models in which the prover and verifier access the same data through separate noisy views, possibly with different noise rates, rather than sharing a common view of the input. For noisy IPPs, we give a complete characterization of the four natural regimes determined by whether the honest prover is clean or noisy and whether the exact noise rates are known or only upper bounds are known. We show that the clean-prover, known-rate setting admits noisy IPPs for every language in $NC$, whereas, under a standard cryptographic assumption, in each of the other three regimes there is a language in $NC^1$ for which noisy IPPs are impossible. The positive result is obtained through a connection to \emph{robust} IPPs: even subconstant robustness suffices to tolerate constant random noise. We also show that constant robustness is impossible in general, establishing a separation between random noise and worst-case local corruptions. Beyond these general results, we construct noisy IPPs for natural languages, and we give a noisy PAC-verification protocol for the heavy Fourier coefficients of a Boolean function. These positive results are efficient for both the verifier and the prover, and hold in the general setting where the parties know only an upper bound on the noise rate and may experience different noise rates.

ALT: Flashback

After the entry of several renewable energy companies into the Indian stock market, more renewable Independent Power Producers (IPPs) are now looking to jump onto the bandwagon. The latest entrant is Singapore-based Sembcorp’s Indian renewable energy arm, Sembcorp Green Infra. The company has proposed a ₹3,750-crore IPO at a time when it is expanding beyond conventional wind and solar projects into battery energy storage systems (BESS), round-the-clock (RTC) power, and firm and dispatchable renewable energy (FDRE) projects. Sembcorp Green Infra is preparing to tap the public markets with a ₹3,750-crore initial public offering, but the company's proposed use of the proceeds suggests that the issue is as much about strengthening its balance sheet as it is about supporting its next phase of growth. The proposed issue is entirely a fresh issue of equity shares. There is no offer-for-sale component. Of the proceeds, ₹3,000 crore is proposed to be used for repayment or prepayment of certain borrowings of the company and its subsidiaries, with the balance earmarked for general corporate purposes. The draft red herring prospectus (DRHP) was filed with SEBI in September. In the latest move, SEBI has now asked the company to furnish more details towards the issue, a...

​Insiden pengusiran direksi transportasi oleh Seskab Teddy Indra Wijaya saat peresmian LRT pada 16 September 2026 menuai kecaman luas. ​Direktur Eksekutif IPPS, Yusuf Blegur, mengkritik sikap overprotektif Teddy yang dinilai gagal memisahkan kedekatan personal dengan profesionalisme kerja. ​Perilaku arogan pejabat ring satu di lingkungan kepresidenan berpotensi meruntuhkan martabat dan kewibawaan Presiden di mata publik. ​SIKAP AROGAN SEKRETARIS KABINET (SESKAB) TEDDY INDRA WIJAYA…