Recent searches

No recent searches

Search options

Only available when logged in.
techhub.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A hub primarily for passionate technologists, but everyone is welcome

Administered by:

Server stats:

4.6K
active users

techhub.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.2

#simulator

4 posts4 participants0 posts today
*
Andrea Barontini

ia.cr/2025/1296 sounds disrupting.. looking 4 qualified opinions…

Tags to improve post exposure: #ZKP #simulator #cryptography #trustedsetup #interactive #soundness

IACR logo
IACR Cryptology ePrint Archive · Gödel in Cryptography: Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup, and Perfect SoundnessA zero-knowledge proof demonstrates that a fact (like that a Sudoku puzzle has a solution) is true while, counterintuitively, revealing nothing else (like what the solution actually is). This remarkable guarantee is extremely useful in cryptographic applications, but it comes at a cost. A classical impossibility result by Goldreich and Oren [J. Cryptol. '94] shows that zero-knowledge proofs must necessarily sacrifice basic properties of traditional mathematical proofs --- namely perfect soundness (that no proof of a false statement exists) and non-interactivity (that a proof can be transmitted in a single message). Contrary to this impossibility, we show that zero-knowledge with perfect soundness and no interaction is effectively possible. We do so by defining and constructing a powerful new relaxation of zero-knowledge. Intuitively, while the classical zero-knowledge definition requires that an object called a simulator actually exists, our new definition only requires that one cannot rule out that a simulator exists (in a particular logical sense). Using this, we show that **every falsifiable security property of (classical) zero-knowledge can be achieved with no interaction, no setup, and perfect soundness.** This enables us to remove interaction and setup from (classical) zero-knowledge in essentially all of its applications in the literature, at the relatively mild cost that such applications now have security that is "game-based" instead of "simulation-based." Our construction builds on the work of Kuykendall and Zhandry [TCC '20] and relies on two central, longstanding, and well-studied assumptions that we show are also necessary. The first is the existence of non-interactive witness indistinguishable proofs, which follows from standard assumptions in cryptography. The second is Krajícek and Pudlák's 1989 conjecture that no optimal proof system exists. This is one of the main conjectures in the field of proof complexity and is the natural finitistic analogue of the impossibility of Hilbert's second problem (and, hence, also Gödel's incompleteness theorem). Our high-level idea is to use these assumptions to construct a prover and verifier where no simulator exists, but the non-existence of a simulator is independent (in the logical sense of unprovability) of an arbitrarily strong logical system. One such logical system is the standard axioms of mathematics: ZFC.
Хью Хэмпфер

Качаю Sakura School Simulator для Windows. С интересом и угаром слежу за этой трушной анимешной игрой, потому что она 100% японская. Если кто не знает, это кроссовер между LifeSim по типу Tomodachi и GTA по типу SaintsRow. В игре большая свобода, поэтому скатиться в хардкор очень легко - и это её главная проблема. Но, в целом, игра оставляет приятное впечатление, графон очень-очень милый, динамика волос и одежды как в MMD, работает ОЧЕНЬ быстро даже с большим количеством персонажей в 1 конкретный момент. Буду тестить...
#games #simulator #japan #sakura #school #windows #googleplay #3d

Aptivi

Old Nitrocid KS PPA has been removed

Earlier, we have posted a new article that announced the deprecation of the old Launchpad PPA for Nitrocid KS. This PPA was originally released on June 8th, 2020, when we were building Nitrocid KS (Kernel Simulator back then) 0.0.10.0 back then for Ubuntu 20.04 LTS Focal Fossa users.

The old Nitrocid KS PPA, kernel-sim, has been officially removed from Launchpad starting from today. You’ll need to change your APT sources to use the new Launchpad PPA for Nitrocid KS, which is nitrocid.

To disable the kernel-sim PPA and to enable the newer Nitrocid PPA, nitrocid, follow these steps:

  1. Uninstalling all Nitrocid-related packages from the old PPA
    1. Open the terminal emulator
    2. Run sudo apt purge kernel-simulator
  2. Replacing the kernel-sim PPA with the nitrocid PPA
    1. Run sudo add-apt-repository --remove ppa:eofla/kernel-sim
    2. Run sudo add-apt-repository ppa:eofla/nitrocid
  3. Installing the newer Nitrocid packages
    1. Execute sudo apt update
    2. Follow the instructions by running sudo apt install nitrocid

Once you follow the above steps, you’re now using the new nitrocid PPA instead of the older one. If you fail to remove the kernel-sim PPA from your system, the apt update command will fail with error messages about said PPA.

#KernelSimulator#LaunchpadPPA#news
TrendingLive feeds
About