Zana za mkataba

SP1 (Succinct)

Saketi za ZK na faragha

Uthibitishaji · Uwezo wa kukua · Tabaka la 2

succinctlabs/sp1 https://crates.io/crates/sp1-primitives

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

Rasilimali zinazohusiana

ZK Email

ZK Email hutoa saketi na SDK kwa kuthibitisha ukweli kuhusu nakala za barua pepe zilizohaririwa mnyororoni. Inafaa unapotaka utambulisho unaohifadhi faragha au ukaguzi wa stakabadhi bila kufichua visanduku pokezi.

Self Protocol

Self Protocol hutoa utambulisho wazi na misingi ya uthibitisho ambayo wajenzi wanaweza kupachika wanapohitaji mtiririko wa uthibitishaji unaohifadhi faragha unaohusishwa na mikoba au vitambulisho.

zkTLS/ TLSNotary

zkTLS / TLSNotary ni itifaki wazi ya kuthibitisha sifa za vipindi vya TLS na MPC ili wahakiki waweze kuamini nakala bila kuona maandishi kamili.

Circom

Circom ni lugha maalum ya kikoa na kikusanyaji kwa ajili ya kuandika na kukusanya saketi za hesabu zinazotumika katika mifumo ya uthibitisho wa maarifa-sifuri.

snarkjs

snarkjs ni zana ya JavaScript na CLI ya kuzalisha na kuthibitisha uthibitisho wa ZK-SNARK, na kwa kuendesha mtiririko wa kazi wa kawaida wa kuthibitisha katika Node.js na kivinjari.

Semaphore

Semaphore ni itifaki ya sifuri-maarifa kwa uthibitisho wa uanachama wa kikundi cha faragha, kuwezesha utoaji ishara na uthibitishaji bila kujulikana bila kufichua utambulisho.