The world needs anti-sybils, but if these solutions are not fully decentralized or private, they can easily create more harm than good. Achieving both these attributes is however notoriously tricky. Anti-sybils only work when you can be sure that every user is unique. This creates obvious challenges. For instance, how does a system know you haven’t already registered without encroaching on your privacy? The solutions are manifold, and all of them have trade-offs. Assessing these and gauging h...

The world needs anti-sybils, but if these solutions are not fully decentralized or private, they can easily create more harm than good. Achieving both these attributes is however notoriously tricky. Anti-sybils only work when you can be sure that every user is unique. This creates obvious challenges. For instance, how does a system know you haven’t already registered without encroaching on your privacy? The solutions are manifold, and all of them have trade-offs. Assessing these and gauging h...

Kitty, Lasha, & Oleks on behalf of the Rarimo community Rarimo has raised $2.5 million in a Vision Round exclusively for founders. This fundraise was designed to unite leaders in the space around Rarimo’s Vision for the future of digital identity. Investors include:Vitalik Buterin, Ethereum Co-FounderNick White, Celestia Co-FounderBrian Retford, RiscZero Co-FounderStefan George, Gnosis Co-FounderAlex Pruden, Aleo Co-FounderKeone Hon, Monad Co-FounderZac Williamson, Aztec Co-FounderArnaud Sche...

Kitty, Lasha, & Oleks on behalf of the Rarimo community Rarimo has raised $2.5 million in a Vision Round exclusively for founders. This fundraise was designed to unite leaders in the space around Rarimo’s Vision for the future of digital identity. Investors include:Vitalik Buterin, Ethereum Co-FounderNick White, Celestia Co-FounderBrian Retford, RiscZero Co-FounderStefan George, Gnosis Co-FounderAlex Pruden, Aleo Co-FounderKeone Hon, Monad Co-FounderZac Williamson, Aztec Co-FounderArnaud Sche...

Oleksandr Kurbatov, Lasha Antadze For a while, the dream of decentralized, anonymous voting felt illusory. Solutions like Semaphore are excellent for low-risk scenarios such as private DAO voting, but state elections and other high-risk scenarios require the anonymity, eligibility and uniqueness of voters to be totally guaranteed. Historically, decentralized voting systems have only ever been able to guarantee two of these three properties at once. Rarimo’s Freedom Tool was the first solution...

Oleksandr Kurbatov, Lasha Antadze For a while, the dream of decentralized, anonymous voting felt illusory. Solutions like Semaphore are excellent for low-risk scenarios such as private DAO voting, but state elections and other high-risk scenarios require the anonymity, eligibility and uniqueness of voters to be totally guaranteed. Historically, decentralized voting systems have only ever been able to guarantee two of these three properties at once. Rarimo’s Freedom Tool was the first solution...

Illia Dovhopolyi, Dmytro Zakharov Linear operations, like those commonly used in neural networks, are very fast when calculated on a CPU. However, in ZK systems, they typically result in a large number of constraints, making them prohibitively expensive. In this article, we'll introduce a simple yet powerful optimization used in Bionetta that removes constraint costs for linear operations in R1CS circuits, making them absolutely free!Linear Regression exampleTo illustrate this clearly, c...

Illia Dovhopolyi, Dmytro Zakharov Linear operations, like those commonly used in neural networks, are very fast when calculated on a CPU. However, in ZK systems, they typically result in a large number of constraints, making them prohibitively expensive. In this article, we'll introduce a simple yet powerful optimization used in Bionetta that removes constraint costs for linear operations in R1CS circuits, making them absolutely free!Linear Regression exampleTo illustrate this clearly, c...

Dmytro Zakharov, Lasha Antadze, Oleksandr Kurbatov The security of current neutral networks is comparable to the security of the Internet in its early days. While all major companies are focused on performance, there is a massive gap in AI safety. We can't trust that there are no hundreds of low-paid workers behind the model. We can't be sure the model doesn't lie. We can't verify the model output. We can't be sure it doesn't collect (actually it does) any person...

Dmytro Zakharov, Lasha Antadze, Oleksandr Kurbatov The security of current neutral networks is comparable to the security of the Internet in its early days. While all major companies are focused on performance, there is a massive gap in AI safety. We can't trust that there are no hundreds of low-paid workers behind the model. We can't be sure the model doesn't lie. We can't verify the model output. We can't be sure it doesn't collect (actually it does) any person...

ZK Image Recognition and the ERC-7812 StandardQuestions around identity ownership often collapse into thought puzzles:Do you own your face? There’s no doubt it’s yours, but in a few quick minutes, I could easily generate videos of it saying things you’d never say or doing things you’d never do.If a company issues your credential do you truly own it? If the government shuts down the company and renders your credential unusable, was it ever really under your control?These puzzles aren't hy...

ZK Image Recognition and the ERC-7812 StandardQuestions around identity ownership often collapse into thought puzzles:Do you own your face? There’s no doubt it’s yours, but in a few quick minutes, I could easily generate videos of it saying things you’d never say or doing things you’d never do.If a company issues your credential do you truly own it? If the government shuts down the company and renders your credential unusable, was it ever really under your control?These puzzles aren't hy...

Rarimo’s ZK Roll-up is live 🎉 At its core is the ZK identity registry. Powered by EIP-7812, this identity registry is the first in the world not to be owned by a government or corporation. Instead, it is a public good It’s brought client-side ZK to everything from passports to facial biometrics. It’s unlocked previously impossible real world use cases like anonymous voting. And, it’s permissionless, privacy-preserving, and censorship resistant Here’s how it works: Statement Aggregation Inste...

Rarimo’s ZK Roll-up is live 🎉 At its core is the ZK identity registry. Powered by EIP-7812, this identity registry is the first in the world not to be owned by a government or corporation. Instead, it is a public good It’s brought client-side ZK to everything from passports to facial biometrics. It’s unlocked previously impossible real world use cases like anonymous voting. And, it’s permissionless, privacy-preserving, and censorship resistant Here’s how it works: Statement Aggregation Inste...

In July 2024, Rarimo hosted a hackathon in Kyiv, Ukraine, centered on using Zero Knowledge (ZK) technology for social applications. The results showcase the remarkable potential of ZK tech to disrupt digital power structures. All of the submissions outlined below place power back into the hands of everyday users, ushering in fairer and more democratic ways of coordinating online.Winner: In Da Club - Adminless Chat GroupsFirst place went to In Da Club (∈DA¢lub), by Mr. Chewbacca. This project ...

In July 2024, Rarimo hosted a hackathon in Kyiv, Ukraine, centered on using Zero Knowledge (ZK) technology for social applications. The results showcase the remarkable potential of ZK tech to disrupt digital power structures. All of the submissions outlined below place power back into the hands of everyday users, ushering in fairer and more democratic ways of coordinating online.Winner: In Da Club - Adminless Chat GroupsFirst place went to In Da Club (∈DA¢lub), by Mr. Chewbacca. This project ...

2024 HighlightsGlobal Anti-Sybil Registry:Anyone with a passport and mobile phone can download RariMe and join Rarimo's anti-sybil registryThriving ecosystem:Rarimo has 12 external teams building apps on it. These include:Social Apps:Examples: Openion, Agora Citizen Network, United Space, Block SurveysDaily Active Users (DAU): 4,000 with fully organic growthGovernance Apps:Rarimo's Freedom Tool supported three anonymous voting apps in Russia, Iran, and Georgia60k+ usersFounder-only ...

2024 HighlightsGlobal Anti-Sybil Registry:Anyone with a passport and mobile phone can download RariMe and join Rarimo's anti-sybil registryThriving ecosystem:Rarimo has 12 external teams building apps on it. These include:Social Apps:Examples: Openion, Agora Citizen Network, United Space, Block SurveysDaily Active Users (DAU): 4,000 with fully organic growthGovernance Apps:Rarimo's Freedom Tool supported three anonymous voting apps in Russia, Iran, and Georgia60k+ usersFounder-only ...

Kitty, Lasha Antadze, Oleksandr Kurbatov On October 10th, Georgian MPs used Rarimo to bring national IDs on-chain and revolutionize the upcoming election process in Georgia. This use of decentralized identities by elected officials marks a significant milestone for Web3 and was made possible by a single breakthrough: Rarimo’s ZK Identity Registry. Rarimo’s ZK Identity Registry Rarimo’s ZK Identity Registry allows users to establish verifiable, self-issued identities. It is permissionless and ...

Kitty, Lasha Antadze, Oleksandr Kurbatov On October 10th, Georgian MPs used Rarimo to bring national IDs on-chain and revolutionize the upcoming election process in Georgia. This use of decentralized identities by elected officials marks a significant milestone for Web3 and was made possible by a single breakthrough: Rarimo’s ZK Identity Registry. Rarimo’s ZK Identity Registry Rarimo’s ZK Identity Registry allows users to establish verifiable, self-issued identities. It is permissionless and ...

With love for ZK use cases Oleksandr KurbatovLove, Death & Robots Key ManagementLet's start with a little backstory. Let me introduce Bob (all names and events in the article are fictitious; any similarities with real people are accidental). Bob has an active lifestyle: he pets his dog, sits on social networks, uses financial applications, and chats with friends and his beloved Alice (❤️).Bob has a lot of daily digital routines, which require the help of his personal robot assistant, Cha...

With love for ZK use cases Oleksandr KurbatovLove, Death & Robots Key ManagementLet's start with a little backstory. Let me introduce Bob (all names and events in the article are fictitious; any similarities with real people are accidental). Bob has an active lifestyle: he pets his dog, sits on social networks, uses financial applications, and chats with friends and his beloved Alice (❤️).Bob has a lot of daily digital routines, which require the help of his personal robot assistant, Cha...

Introducing Bionetta, an R1CS-based proving framework designed with a focus on client-side proving and on-chain verification of neural network architectures. Our goal was to create a framework with (a) proof and verification key sizes as small as possible, suitable for on-chain deployment, and (b) superior proving time that does not consume too much RAM. Currently, Groth16 is one of the best choices, providing constant-sized proof and verification time, relatively small verification key sizes...

Introducing Bionetta, an R1CS-based proving framework designed with a focus on client-side proving and on-chain verification of neural network architectures. Our goal was to create a framework with (a) proof and verification key sizes as small as possible, suitable for on-chain deployment, and (b) superior proving time that does not consume too much RAM. Currently, Groth16 is one of the best choices, providing constant-sized proof and verification time, relatively small verification key sizes...