Pinned Repositories
crowdprover
Crowdsourcing program verification
crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
fbpcf
Private computation framework library allows developers to perform randomized controlled trials, without leaking information about who participated or what action an individual took. It uses secure multiparty computation to guarantee this privacy. It is suitable for conducting A/B testing, or measuring advertising lift and learning the aggregate statistics without sharing information on the individual level.
groth21_dkg
Non-interactive Distributed Key Generation for Dynamic Committees (based on Groth21)
haskelle
Theorem Prover for Propositional Logic
libmoat
Enclave Programming Library
mts
pok3r
Playing Poker on Smart Contracts
secure-analytics-sgx
Securing Data Analytics on Intel SGX using Randomization
rsinha's Repositories
rsinha/mts
rsinha/libmoat
Enclave Programming Library
rsinha/haskelle
Theorem Prover for Propositional Logic
rsinha/pok3r
Playing Poker on Smart Contracts
rsinha/secure-analytics-sgx
Securing Data Analytics on Intel SGX using Randomization
rsinha/crowdprover
Crowdsourcing program verification
rsinha/crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
rsinha/fbpcf
Private computation framework library allows developers to perform randomized controlled trials, without leaking information about who participated or what action an individual took. It uses secure multiparty computation to guarantee this privacy. It is suitable for conducting A/B testing, or measuring advertising lift and learning the aggregate statistics without sharing information on the individual level.
rsinha/groth21_dkg
Non-interactive Distributed Key Generation for Dynamic Committees (based on Groth21)
rsinha/hinTS
State Proofs
rsinha/hise
HiSE: Hierarchical Threshold Symmetric-key Encryption
rsinha/kyber
Advanced crypto library for the Go language
rsinha/on-off-groth16
A Rust implementation of the online-offline Groth16 zkSNARK
rsinha/rsinha.github.io
webpage
rsinha/nova-eddsa
High Throughput Ed25519 Signature Verification using Nova
rsinha/recursive-signature
rsinha/sgx-language-adapter
rsinha/slashconfidential.github.io
rsinha/soroban_groth16_verifier
Soroban contract for verifying Groth16 proofs
rsinha/tensors
Playing around with TensorFlow