
Sieć Zweryfikowanych Dowodów
W szybko rozwijającym się krajobrazie blockchaina, dowody zerowej wiedzy stały się technologią rewolucjonizującą, jednak ich generacja pozostaje wymagająca obliczeniowo i scentralizowana.
Ten kompleksowy przewodnik bada Sieć Zweryfikowanych Dowodów, pierwszy na świecie zdecentralizowany protokół, który koordynuje globalną sieć weryfikatorów, aby generować dowody zerowej wiedzy dla dowolnego oprogramowania. Niezależnie od tego, czy jesteś deweloperem blockchainowym poszukującym skalowalnej generacji dowodów, inwestorem oceniającym możliwości związane z tokenem PROVE, czy po prostu ciekawym, jak działa zdecentralizowana infrastruktura dowodzenia, ten artykuł dostarcza wszystkiego, co musisz wiedzieć, aby zrozumieć tę rewolucyjną platformę, która demokratyzuje dostęp do weryfikacji kryptograficznej.
Najważniejsze informacje
- Sieć Zweryfikowanych Dowodów to pierwszy na świecie zdecentralizowany protokół który koordynuje globalnych weryfikatorów, aby generować dowody zerowej wiedzy dla dowolnego oprogramowania, rewolucjonizując sposób działania infrastruktury ZK
- Token PROVE napędza ekosystem poprzez płatności, stakowanie i zarządzanie, umożliwiając zaufany rynek dla generacji dowodów ZK bez scentralizowanych pośredników
- Przełomowy SP1 zkVM pozwala deweloperom na tworzenie dowodów ZK przy użyciu standardowych języków programowania, takich jak Rust, eliminując potrzebę skomplikowanego projektowania obwodów i specjalistycznej wiedzy kryptograficznej
- Mechanizm konkursów dowodowych równoważy rywalizację kosztową z decentralizacją, zapewniając konkurencyjne ceny przy jednoczesnym zachowaniu bezpieczeństwa sieci dzięki innowacyjnym strukturom aukcyjnym typu all-pay
- Zastosowania w świecie rzeczywistym obejmują wiele branż w tym ZK rollupy, mosty międzyłańcuchowe, weryfikację AI, systemy tożsamości chroniące prywatność i współprocesory dla obliczeń off-chain
- Stała podaż 1 miliarda tokenów PROVE tworzy niedobór, wspierając jednocześnie rozwój ekosystemu poprzez stakowanie zabezpieczone sieciowo i mechanizmy zarządzania
Table of Contents
Czym jest Sieć Zweryfikowanych Dowodów (PROVE Crypto)?
Sieć Zweryfikowanych Dowodów to przełomowy protokół na Ethereum, który koordynuje rozproszoną sieć weryfikatorów, aby generować dowody zerowej wiedzy dla dowolnego oprogramowania. Ten rewolucyjny system tworzy dwustronny rynek między weryfikatorami a wnioskodawcami, umożliwiając każdemu otrzymywanie dowodów dla aplikacji, w tym łańcuchów bloków, mostów, oracle, agentów AI, gier wideo i wielu innych.
Zamiast być ograniczonym do wąskich, specyficznych zastosowań, które wymagały od programistów budowania niestandardowych obwodów i rozumienia złożonej kryptografii, Succinct umożliwia generowanie dowodów zerowej wiedzy bezpośrednio z normalnego kodu—dokładnie tak, jak uruchamianie oprogramowania na komputerze. To podejście, znane jako „ZK 2.0”, jest unikalnie wspierane przez SP1, przełomową maszynę wirtualną zerowej wiedzy Succinct (zkVM), która abstrahuje złożoność i sprawia, że generacja dowodów jest tak płynna i programowalna jak tradycyjne obliczenia.
Sieć działa poprzez innowacyjny mechanizm aukcyjny zwany „konkursami dowodowymi”, w których weryfikatorzy konkurują, aby generować dowody według najwydajniejszych cen. Tworzy to zjednoczony, globalny klaster weryfikujący, który obsługuje dowolne zastosowanie, jednocześnie zachowując decentralizację i efektywność kosztową dzięki rywalizacji napędzanej rynkiem.
Sieć Succinct a token PROVE: kluczowe różnice
Aspekt | Sieć Zweryfikowanych Dowodów | Token PROVE |
---|---|---|
Natura | Kompletny protokół i platforma infrastrukturalna | Nattywny kryptowaluta sieci |
Funkcja | Koordynuje weryfikatorów i wnioskodawców globalnie | Umożliwia płatności, stakowanie i zarządzanie |
Zakres | Cały ekosystem, w tym SP1 zkVM i konkursy dowodowe | Specyficzny token użytkowy w ekosystemie |
Rola | Zapewnia usługi dowodowe i infrastrukturę rynku | Ułatwia ekonomiczne bodźce i bezpieczeństwo |
Użycie | Programiści składają programy do generacji dowodów | Użytkownicy stakingują tokeny, płacą opłaty i uczestniczą w zarządzaniu |
Porównanie | Podobne do Ethereum (platformy) | Podobne do ETH (tokena natywnego) |
PROVE pełni rolę natywnego tokena, który napędza cały ekosystem Succinct, umożliwiając płatności za prośby o dowody, zabezpieczając sieć przez staking validatorów oraz zapewniając prawa do zarządzania dla posiadaczy tokenów. Bez PROVE, Sieć Succinct nie mogłaby utrzymać swojej zdecentralizowanej, zaufanej natury ani zapewnić swoich unikalnych możliwości generowania weryfikowalnych dowodów.
Jakie problemy rozwiązuje Succinct Crypto?
1. Kryzys skalowalności w systemach blockchain
Zdecentralizowane systemy, takie jak blockchainy opierają się na rozproszonym konsensie, gdzie każdy uczestnik redundantnie wykonuje transakcje, aby zweryfikować poprawność. Chociaż zapewnia to wykonanie bez potrzeby zaufania, wiąże się z ogromnymi kosztami—dziś blockchainy są wolne, drogie i niezdolne do skalowania do głównych potrzeb. To wąskie gardło ograniczyło ich komercyjną wykonalność, czyniąc je znacznie mniej efektywnymi niż alternatywy scentralizowane.
2. Fragmentaryczna i nieefektywna infrastruktura dowodowa
Obecnie generowanie dowodów zerowej wiedzy wymaga specjalistycznej wiedzy, rozwoju niestandardowych obwodów i znacznych zasobów obliczeniowych. Każda aplikacja zazwyczaj buduje swoją własną infrastrukturę dowodową, co prowadzi do fragmentacji podaży i popytu. To podejście jest ani opłacalne, ani skalowalne, jako że poszczególne zespoły borykają się z koordynacją setek GPU wymaganych do generacji dużych dowodów.
3. Brak rozwiązań dowodowych ogólnego przeznaczenia
Tradycyjne systemy dowodów ZK były jak ASIC—wysoce zoptymalizowane, ale sztywne, ograniczone do wąskich zastosowań, które wymagały niestandardowych obwodów i specjalistycznej wiedzy. Ta fragmentacja uniemożliwiła stworzenie zjednoczonej sieci dowodowej, zmuszając deweloperów do inwestowania miesięcy lub lat w budowanie systemów dowodowych specyficznych dla aplikacji zamiast skupiać się na swoich kluczowych innowacjach.
4. Centralizacja weryfikacji
Bez zdecentralizowanej infrastruktury dowodowej aplikacje muszą polegać na scentralizowanych usługach dowodowych lub budować kosztowne zdolności in-house. Tworzy to pojedyncze punkty awarii i ogranicza gwarancje bez potrzeby zaufania, które sprawiają, że aplikacje blockchainowe są wartościowe od samego początku.

Historia projektu Succinct Labs Crypto
Sieć Zweryfikowanych Dowodów powstała z wizji umożliwienia skomplikowanych aplikacji zdecentralizowanych bez kompromisu głównych zasad kryptowalut, takich jak decentralizacja, przejrzystość i bezpieczeństwo. Projekt został założony przez Umę Roy i Johna Guibasa, którzy uznali, że dowody zerowej wiedzy stanowią fundamentalne ulepszenie w obliczeniach z szerokimi implikacjami wykraczającymi poza skalowanie blockchaina.
Przełom zespołu nastąpił dzięki opracowaniu SP1, pierwszej ogólnodostępnej maszyny wirtualnej zerowej wiedzy, która może udowodnić wykonanie dowolnego deterministycznego programu napisanego w popularnych językach, takich jak Rust. Ta innowacja rozwiązała długo istniejący problem projektowania obwodów specyficznych dla aplikacji, czyniąc dowody ZK dostępnymi dla deweloperów mainstreamowych po raz pierwszy.
Budując na sukcesie SP1, założyciele zdali sobie sprawę, że koordynacja globalnej infrastruktury dowodowej wymagała więcej niż tylko lepszej technologii—potrzebowała odpowiednich bodźców ekonomicznych. To doprowadziło do stworzenia protokołu Sieci Zweryfikowanych Dowodów, który wykorzystuje konkursy dowodowe do równoważenia konkurencji kosztowej z decentralizacją proverów, zapewniając jednocześnie efektywność i odporność.

Kluczowe cechy Succinct (PROVE)
1. Rewolucyjny mechanizm konkursów dowodowych
Succinct wprowadza „konkursy dowodowe”, nowy system aukcyjny, który równoważy koszty dowodzenia i decentralizację. W przeciwieństwie do prostych aukcji odwrotnych, które mogą prowadzić do koncentracji weryfikatorów, konkursy dowodowe używają struktury aukcji all-pay, która stymuluje różnorodny zestaw provers przy jednoczesnym zachowaniu konkurencyjnych cen. Ten mechanizm zapewnia, że nawet jeśli jeden provers może generować dowody taniej, inni nadal mają bodźce do uczestnictwa, tworząc solidną i zdecentralizowaną sieć.
2. Integracja SP1 zkVM
Sieć jest unikalnie zaprojektowana wspólnie z SP1, przełomową maszyną wirtualną zerowej wiedzy, która może udowodnić wykonanie dowolnego programu RISC-V. Ta integracja zapobiega kopiowaniu dowodów i wielokrotnemu wykorzystaniu pracy, jednocześnie umożliwiając deweloperom pisanie dowodów w znanych językach programowania, takich jak Rust, dramatycznie skracając czas rozwoju z miesięcy do dni.
3. Globalny rozproszony klaster dowodowy
Poprzez agregację podaży i popytu globalnie, Succinct tworzy najefektywniejszą infrastrukturę dowodową na świecie. Sieć umożliwia bezzezwolenio uczestnictwo z każdego, kto dysponuje zasobami obliczeniowymi, od indywidualnych właścicieli GPU po dużych operatorów centrów danych, tworząc konkurencyjny rynek, który obniża koszty dla użytkowników końcowych.
4. Weryfikowalna architektura aplikacji
Sieć działa jako weryfikowalna aplikacja (vApp), która osiada na Ethereum, łącząc wydajność koordynacji off-chain z bezpieczeństwem weryfikacji on-chain. Ta architektura zapewnia użytkownikom wysokowydajną obsługę, jednocześnie utrzymując możliwość niezależného weryfikowania stanu sieci i wypłacania funduszy.
5. Ekonomiczne bezpieczeństwo poprzez stakowanie
Staking tokenów PROVE tworzy bezpieczeństwo ekonomiczne, wymagając od weryfikatorów stakowania tokenów w celu uczestnictwa w konkursach dowodowych. Ten system zabezpieczeń zapobiega niewłaściwemu wykonaniu i zapewnia, że weryfikatory dostarczają dowody w określonych terminach, z karami za niewykonanie stawki.
Zastosowania tokena PROVE w świecie rzeczywistym
1. Skalowanie blockchainów i ZK Rollupy
ZK rollupy stanowią jedno z najbardziej bezpośrednich zastosowań dla infrastruktury dowodowej Succinct. W miarę jak roadmapa skoncentrowana na rollupach Ethereum coraz bardziej przesuwa się w kierunku technologii ZK do weryfikacji transakcji, popyt na niezawodne, opłacalne generowanie dowodów wciąż rośnie. Succinct umożliwia operatorom rollupów zlecanie swoich potrzeb dowodowych zdecentralizowanej sieci, zamiast utrzymywania kosztownej infrastruktury in-house.
2. Mosty międzyłańcuchowe i oracle
Zdecentralizowane mosty i oracle wymagają bezwzględnej weryfikacji danych zewnętrznych i transakcji międzyłańcuchowych. Sieć dowodowa Succinct umożliwia tym krytycznym elementom infrastruktury generowanie dowodów, które weryfikują źródła danych off-chain i stany blockchaina, nie polegając na scentralizowanych usługach dowodowych, eliminując pojedyncze punkty awarii.
3. Weryfikacja AI i uczenia maszynowego
W miarę wzrostu obecności systemów AI, zdolność weryfikacji wyników obliczeniowych staje się kluczowa. Succinct umożliwia aplikacjom AI udowodnienie poprawności wnioskowania modeli, procedur treningowych lub przetwarzania danych, nie ujawniając wrażliwych informacji, otwierając nowe możliwości dla zaufanych usług AI.
4. Aplikacje tożsamości i prywatności
Dowody zerowej wiedzy świetnie sprawdzają się w aplikacjach chroniących prywatność, w których użytkownicy muszą udowodnić pewne właściwości swoich danych, nie ujawniając samych danych. Infrastruktura Succinct sprawia, że generowanie dowodów, które weryfikują tożsamość, systemy poświadczeń i analizy chroniące prywatność na dużą skalę, jest ekonomicznie realne.
5. Współprocesory i obliczenia off-chain
Blockchainy mogą używać Succinct do tworzenia współprocesorów, które przenoszą ciężkie obliczenia do aktorów off-chain, jednocześnie zachowując weryfikowalność. Umożliwia to aplikacjom dostęp do danych historycznych, przeprowadzanie skomplikowanych obliczeń i wykonywanie złożonej logiki biznesowej bez ograniczeń gazowych blockchaina.

Tokenomia kryptowaluty PROVE
PROVE posiada stałą całkowitą podaż 1 000 000 000 tokenów. Jako token ERC-20 na Ethereum, PROVE będzie dystrybuowany w celu wspierania rozwoju sieci, uczestnictwa w społeczności i wzrostu ekosystemu. Szczegółowe informacje o alokacji oraz harmonogramy vestingowe będą ogłoszone bliżej daty generacji tokenów.
Funkcje i użyteczność tokena PROVE
1. Mechanizm płatności za prośby o dowody
PROVE jest natywnym tokenem płatności dla wszystkich transakcji w Sieci Zweryfikowanych Dowodów. Aplikacje płacą opłaty w tokenach PROVE, aby zażądać dowodów zerowej wiedzy, przy czym płatności są trzymane w escrow i automatycznie zwalniane do pomyślnych weryfikatorów po ukończeniu dowodu. Tworzy to przejrzysty, zaufany system płatności bez potrzeby korzystania z pośredników.
2. Bezpieczeństwo sieci poprzez stakowanie
Weryfikatory muszą stakować tokeny PROVE, aby uczestniczyć w konkursach dowodowych i zdobyć prawo do generowania dowodów. Ten mechanizm stakingowy spełnia wiele celów: zapewnia bezpieczeństwo ekonomiczne, zapewniając, że weryfikatory mają zabezpieczenie na ryzyku, umożliwia ograniczanie na podstawie wysokości stawki oraz tworzy mechanizmy karne poprzez cięcia stawki za niewykonanie zadań lub zachowanie złośliwe.
3. Uczestnictwo w zdecentralizowanym zarządzaniu
Posiadacze tokenów PROVE uczestniczą w zarządzaniu protokołem poprzez system delegowanego stakowania. Tokeny stakowane z weryfikatorami stają się iPROVE, które służą jako siła głosująca w decyzjach dotyczących zarządzania. Początkowo zarządzane przez radę bezpieczeństwa, sieć przejdzie do pełnego zarządzania społecznością, gdy zajdzie wystarczająca delegacja stawki.
4. Dostosowanie bodźków weryfikatorów
Token tworzy odpowiednie dopasowanie bodźków w całym ekosystemie sieci. Weryfikatory zarabiają opłaty PROVE za udaną generację dowodów, delegaci zdobywają nagrody za zapewnienie stawki dla wiarygodnych weryfikatorów, a protokół zbiera opłaty na finansowanie ciągłego rozwoju i zabezpieczeń.
Przyszłość projektu Succinct Crypto
Sieć Zweryfikowanych Dowodów reprezentuje fundament dla tego, co zespół nazywa „erą dowodowego oprogramowania”—przyszłość, w której weryfikacja kryptograficzna stanie się powszechnie obecna w interakcjach cyfrowych. Plan rozwoju skupia się na rozszerzeniu poza zastosowania blockchainowe, aby umożliwić weryfikowalne obliczenia w tradycyjnych aplikacjach oprogramowania, systemach AI i infrastrukturze Internetu.
Kluczowe priorytety rozwoju obejmują zwiększenie wydajności SP1 poprzez ciągłe badania w zakresie optymalizacji systemów dowodowych, rozszerzenie pojemności sieci za pomocą ulepszonych mechanizmów koordynacji weryfikatorów oraz opracowanie narzędzi klasy enterprise, które umożliwią dostęp do ZK dowodzenia dla aplikacji niezwiązanych z blockchainem. Zespół planuje również stopniowe decentralizowanie zarządzania, przekazując kontrolę z zespołu założycielskiego na szerszą społeczność posiadaczy tokenów PROVE.
W miarę jak sieć się rozwija, Succinct ma na celu stać się domyślną infrastrukturą dla każdej aplikacji wymagającej weryfikacji kryptograficznej, od uwierzytelniania treści multimedialnych i zapobiegania deepfake’om po umożliwienie prywatnych usług AI i przywracanie zaufania w interakcjach cyfrowych. Taka wizja stawia PROVE jako fundamentalny token użytkowy dla weryfikowalnego paradygmatu obliczeniowego.

Sieć Zweryfikowanych Dowodów a konkurenci
Sieć Zweryfikowanych Dowodów działa w pojawiającej się przestrzeni infrastruktury ZK, gdzie kilka projektów oferuje rozwiązania dowodowe, ale z fundamentalnymi różnicami w podejściu i zakresie.
Bezpośredni konkurenci infrastrukturalni obejmują projekty takie jak Aleo, które oferują blockchain o szczególnym nacisku na prywatność z konsensusem proof-of-succinct-work oraz różne specyficzne usługi dowodowe. Niemniej jednak te rozwiązania zazwyczaj koncentrują się na pojedynczych zastosowaniach, zamiast dostarczać ogólne rozwiązania dowodowe.
Konkurenci pośredni obejmują tradycyjnych dostawców usług chmurowych, takich jak AWS i Google Cloud, którzy oferują zasoby obliczeniowe, ale brakuje im zdolności do weryfikacji kryptograficznej, i rozwiązania skalowania blockchaina, takie jak Optymalne Rollupy, które używają różnych mechanizmów weryfikacyjnych.
Kluczowe zalety Succinct:
- Projekt ogólnego przeznaczenia: W przeciwieństwie do konkurentów koncentrujących się na specyficznych aplikacjach, SP1 zkVM Succinct może udowodnić dowolny program deterministyczny, co czyni go odpowiednim do różnych zastosowań od skalowania blockchainów po weryfikację AI.
- Zdecentralizowana architektura: Podczas gdy wiele rozwiązań dowodowych opiera się na scentralizowanej infrastrukturze, Succinct tworzy sieć bez zezwoleń, gdzie każdy może uczestniczyć jako weryfikator, zapewniając odporność na cenzurę i eliminując pojedyncze punkty awarii.
- Ekonomiczna efektywność: Mechanizm konkursów dowodowych równoważy współzawodnictwo kosztowe z decentralizacją, często dostarczając niższe ceny niż scentralizowane alternatywy, jednocześnie utrzymując bezpieczeństwo sieci i odporność.
- Doświadczenie dewelopera: Wsparcie SP1 dla standardowych języków programowania, takich jak Rust, eliminuje potrzebę specjalistycznej wiedzy kryptograficznej, dramatycznie skracając czas rozwoju w porównaniu do podejść opartych na projektowaniu niestandardowych obwodów.
- Udowodniona wydajność: Sieć osiągnęła już znaczące kamienie milowe, w tym weryfikację w czasie rzeczywistym dla bloków Ethereum, wykazując praktyczną wykonalność dla wymagających aplikacji.

Gdzie kupić token PROVE
Token PROVE będzie dostępny do handlu na MEXC po oficjalnym uruchomieniu. MEXC zapewni bezpieczne środowisko handlowe dla PROVE z wieloma parami handlowymi i solidnymi środkami bezpieczeństwa.
Jak kupić token PROVE: przewodnik krok po kroku
Gdy PROVE zostanie uruchomiony na MEXC:
- Odwiedź oficjalną stronę MEXC and załóż konto podając swój adres e-mail
- Zakończ weryfikację tożsamości (proces KYC), przesyłając wymagane dokumenty
- Zdeponuj środki na swoim koncie MEXC, używając wspieranych kryptowalut lub metod płatności fiat
- Przejdź do sekcji handlu i wyszukaj pary handlowe PROVE
- Wybierz preferowaną parę handlową (taką jak PROVE/USDT)
- Wybierz między zleceniem rynkowym dla natychmiastowego zakupu lub zleceniem limitowanym dla specyficznego celu cenowego
- Wprowadź ilość tokenów PROVE, które chcesz kupić
- Sprawdź szczegóły zamówienia i potwierdź transakcję
- Monitoruj swoje tokeny PROVE w portfelu MEXC po pomyślnym zakończeniu zakupu
Podsumowanie
Sieć Zweryfikowanych Dowodów reprezentuje zmianę paradygmatu w sposobie, w jaki generowane i konsumowane są dowody zerowej wiedzy, przekształcając specjalistyczny, scentralizowany proces w globalny rynek bez zezwoleń. Łącząc przełomowy SP1 zkVM z innowacyjnymi konkursami dowodowymi i zdecentralizowaną siecią weryfikatorów, Succinct demokratyzuje dostęp do weryfikacji kryptograficznej dla aplikacji, od skalowania blockchainów po weryfikację AI.
Token PROVE służy jako ekonomiczna podstawa tego ekosystemu, dostosowując bodźce między weryfikatorami, deweloperami i użytkownikami, zapewniając jednocześnie bezpieczeństwo sieci dzięki mechanizmom stakowania. W miarę jak popyt na weryfikowalne obliczenia nadal rośnie w różnych branżach, infrastruktura Succinct staje się niezbędnym narzędziem dla nadchodzącej ery dowodowego oprogramowania.
Dla inwestorów i deweloperów poszukujących ekspozycji na nową generację infrastruktury kryptograficznej, PROVE oferuje możliwość uczestnictwa w fundamentalnej technologii, która obiecuje przywrócić zaufanie i weryfikowalność w cyfrowych interakcjach w całym Internecie.
Zmaxymalizuj swoje zyski z kryptowalut dzięki programowi poleceń MEXC
Chcesz wzmocnić swoją przygodę z kryptowalutami, budując swoją sieć? Program poleceń MEXC oferuje imponującą prowizję w wysokości 40%, gdy zapraszasz znajomych do odkrywania tokenów PROVE i innych cyfrowych aktywów. Po prostu podziel się swoim kodem polecającym lub linkiem, poproś znajomych o zarejestrowanie się za pośrednictwem Twojego zaproszenia i automatycznie zarabiaj prowizje na ich działalności handlowej. Program przewiduje codzienną dystrybucję prowizji z nagrodami ważnymi przez okres do 1 095 dni od daty rejestracji Twojego znajomego. Niezależnie od tego, czy jesteś okazjonalnym traderem, czy aktywnym członkiem społeczności, system poleceń MEXC zapewnia przekonujący sposób na wspólne pomnażanie swojego majątku z przyjaciółmi, wprowadzając innych w nowoczesne projekty, takie jak Succinct Prover Network.
Airdrop tokena PROVE już na żywo! Ekskluzywna kampania MEXC przynosi przyszłość ZK dowodzenia do Twojego portfela!
Cieszysz się z rewolucyjnego podejścia Succinct Prover Network do zdecentralizowanego dowodzenia zero-knowledge? MEXC teraz oferuje ekskluzywną kampanię airdrop z tokenem PROVE z hojnymi nagrodami! Wykonaj proste zadania, aby wziąć udział w tym przełomowym ekosystemie, który zmienia sposób, w jaki deweloperzy generują dowody kryptograficzne. Dzięki innowacyjnemu mechanizmowi konkursów dowodowych i technologii SP1 zkVM, Succinct jest w drodze do stania się niezbędną infrastrukturą dla skalowania blockchaina, weryfikacji AI i aplikacji prywatności. Nie przegap tej okazji, aby stać się wczesnym adopterskim w rewolucji ZK dowodzenia — odwiedź teraz stronę Airdrop+ MEXC i dołącz do przyszłości weryfikowalnych obliczeń!
Dołącz do MEXC i rozpocznij handel już dziś